25. Let x = 101 + t. Let d = x - -49. Is d less than -2?
False
Let n(k) = -11*k + 81. Let x be n(7). Suppose 0 = -5*f - 5, -x*i + 6*i = f - 71. Is -38 not equal to i?
True
Let i(y) = -y + 8. Let m be i(7). Let s be 5*((-129)/(-135) - m). Let k = 5.094 + -4.894. Does s = k?
False
Let n = 1723946/25 + -68948. Which is smaller: 10 or n?
n
Let p = 10.74 + -0.44. Let b = p + -10.6. Is b at most 17?
True
Suppose 3*s - 2*t = 7 + 25, 4*s = 4*t + 48. Let j be s/6*(-6)/(-1700). Which is greater: -1 or j?
j
Suppose -119*t + 46*t - 36*t = -653346. Which is smaller: 11987/2 or t?
11987/2
Let n = -57 - -56.957. Let u = n - 0.057. Are u and 0 non-equal?
True
Let y = -3419 - 2009. Are y and -5429 nonequal?
True
Let i be 3 + (0 - -1 - -26). Let s = 40 - i. Let z be (((-2)/s)/1)/(3/(-5)). Which is bigger: z or -1?
z
Let n(h) = -5179*h**2 + 32*h - 4. Let f be n(1). Is f less than -5151?
False
Suppose 0 = -96*u - 19815 + 4935. Which is smaller: -0.09 or u?
u
Suppose -28 = -0*h - 4*h. Let u(o) = -9*o + 19. Let k be u(h). Let x be ((-4)/6)/((-8)/(-516)). Which is smaller: k or x?
k
Let m = 5343 + -5347. Which is bigger: 57 or m?
57
Let b be ((-3)/92)/((-18)/128356). Let z be 10*(9 - -22)*3/4. Let s = b - z. Which is smaller: 0 or s?
0
Let u = -327 + 328. Let s(j) = 3*j + 81. Let b be s(-7). Which is smaller: b or u?
u
Let k = -47.55 - -48.9. Let f = 1.35 - k. Is f greater than or equal to 84?
False
Suppose 6215 = -97*d + 783. Suppose 4*q - q + 4*c = -162, -5*q - 3*c - 270 = 0. Which is smaller: d or q?
d
Let c = -9.90353 - 0.01047. Let s = c - 0.086. Which is smaller: s or 2/3?
s
Suppose 22 = -122*p + 111*p. Let g be (-12)/15 + (-632)/310. Let y = g - -410/341. Is p smaller than y?
True
Suppose 2*y - 7 = -2*u - 5, 0 = 5*u. Let m be 2835/555 + 5*-1. Which is greater: y or m?
y
Let x be (10/55)/(16/120). Let r(u) = u**3 - 7*u**2 - 8*u + 1. Suppose -t + 3*k - 7 = 0, 3*t - 8*k = -3*k - 1. Let w be r(t). Which is greater: x or w?
x
Let p(k) = -190*k + 639. Let a be p(16). Which is smaller: -2399 or a?
a
Let p = -10459 + 10302.14. Let s = p + 157. Let o = -1.1 + 2.1. Which is smaller: s or o?
s
Let g(f) = 6*f + 15. Let u be g(-2). Let y be u/36*-9 + 2 + 0. Which is smaller: 0 or y?
0
Let y = 585 - 647. Let f = -62 - y. Is f > 0.29?
False
Let a be (-850)/959 - 72/(-84). Is a > 4?
False
Let b = 0.1012 - 66.4012. Let h = b - -0.3. Which is smaller: h or 1?
h
Let j be (-200)/(-48) + -3 + 0. Let l(f) = f**3 + 8*f**2 - 11. Let i be l(-8). Let q = i + 13. Is j less than or equal to q?
True
Let n = 144495 + -144511. Let a = 322603/13 + -24831. Which is bigger: a or n?
a
Let j = -255185 + 255008. Let m be 2/(-3) + (-22)/(-24). Which is smaller: m or j?
j
Let s be 10/(-6)*11/(-2). Let f be (-12)/8*(-37 - -121). Let o = -117 - f. Is s bigger than o?
True
Suppose 83*d - 4264 = 2322 + 2959. Which is bigger: d or 349/3?
349/3
Let a be -6 - ((-9795)/450 - -22). Is a not equal to -7?
True
Let n = 8468/5201 + 64/743. Let j = 0.3 + -0.29. Is n less than j?
False
Let s be (-136)/(-6) - 70/105. Let t be (s/20)/(132/20 - 7). Which is greater: -4 or t?
t
Let o = -605137/3 - -204164. Do o and 2451 have different values?
True
Let t be 7289/9724 + (-19 - (-511)/28). Which is smaller: t or -1?
-1
Let g(l) = l + 9. Let h be g(14). Let m = -23 + h. Let k = 5260/14807 + -2/871. Which is smaller: m or k?
m
Let j = -42116 - -40924. Which is bigger: j or -5954/5?
-5954/5
Let u = -141.4 - -207. Let x = u - 370.6. Which is greater: x or 0?
0
Let u(p) = p + 38. Let s be u(-12). Suppose s*v - 9*v - 17 = 0. Is 1/58 bigger than v?
False
Suppose -1115 = 61*n - 62*n. Suppose -n = 5*j - 3685. Let p = -12853/25 + j. Which is bigger: 0 or p?
0
Let s(t) = 6*t + 18. Let g be s(-3). Suppose z + 5 = -4*o, g*o - 2*o + 3*z - 13 = 0. Let a be (2 + o + -1)/(21/(-6)). Which is greater: a or 23?
23
Suppose -2*l = -c + 6, 0 = -5*c + 7*l - 12*l - 45. Let v be 3/36*4*c/33. Is v bigger than 1?
False
Let p = -64937680672653 + 88436679177657547027/1361870. Let z = 17/16022 - p. Let k = z - 32/5. Which is greater: k or 2/3?
2/3
Let j(x) = -2*x**3 - 99*x**2 - 59*x + 384. Let v be j(-49). Which is bigger: v or 6116/7?
v
Let l(w) = -9*w + 25. Let d(i) = 4*i - 13. Let k(y) = 7*d(y) + 3*l(y). Let m be k(-6). Let a = m + 21. Is a < -1/21?
True
Let u = -108853/184994724 - 1/56076. Which is smaller: u or 1?
u
Let y be ((-192)/224)/((-3)/56) + -15. Let m be 19/(11 - 1 - -1). Which is smaller: y or m?
y
Let g be (-847756)/(-84776) + (-7 - (-11 + 14)). Which is greater: 1 or g?
1
Let u = -13.8 - 17.4. Let r = u + 30.4. Which is smaller: 1.2 or r?
r
Let t = -2782 - -2822. Which is greater: 44 or t?
44
Let h = 38.92 - -0.08. Let t = -18 - 15. Let q be 3/t - 3/(-33). Which is smaller: h or q?
q
Let r = -2329 + 2551. Do r and 2436/11 have the same value?
False
Let w = -989/3 + 330. Is w smaller than -14/257?
False
Suppose -2*t = 2*t. Let b(u) = u - 36. Let q be b(t). Suppose -229*m - 5948 = -1970 + 4495. Which is smaller: m or q?
m
Let p be (-1186 + 4 + -4)*31/62. Which is smaller: p or -615?
-615
Let a = -16.51 + 17.8. Let k = -0.21 - a. Let d = k + -1.5. Which is greater: d or -0.05?
-0.05
Suppose 0 = -980*y + 988*y + 80. Which is smaller: -69/7 or y?
y
Let j(c) = -c**3 + 8*c**2 - 7*c + 3. Let u be j(7). Let y be u/(-45)*(-12)/(-8). Let w be (-4 - -3)*0/(-1). Is y at most w?
True
Let k = 12341/2 + -6170. Which is smaller: -0.061 or k?
-0.061
Let w be (-2 - -3) + 4 - -71. Suppose 3*j - 3*v + 8 = -58, -3*j - w = -5*v. Is -16 at least j?
True
Suppose -3*y + 4*i = 2*i + 46, -3*i + 15 = 0. Let n be (132/48)/(5/y). Is n at most as big as -6?
True
Let l be 3/1 - ((-4632)/(-1560))/(4 - 3). Let i(k) = k**2 - 6*k + 6. Let u be i(5). Which is smaller: l or u?
l
Let y be ((-10)/52)/(45/6 + -4). Is y at most as big as 1?
True
Let o = -450.801 + 0.801. Let i = o - -467. Which is smaller: i or -3?
-3
Let u(r) = -r**3 + 2*r**2 - 4*r + 2. Let w be u(5). Suppose 0 = -3*x + 5*c - 257, 16*x - 4*c - 208 = 18*x. Do x and w have the same value?
False
Let x = 8741.2 + -8741. Let r be (3 + -1)*(-146)/(-2). Is x at most r?
True
Let a be -4*1/22 + ((-5232)/44)/6. Is a at least as big as -23?
True
Let n = -138 + 95.2. Let x = n - -42.5. Let p = -0.08 - -0.78. Which is bigger: x or p?
p
Suppose 4*h = -4*u, 5*u = 767*h - 768*h - 24. Which is smaller: u or -4?
u
Let s = 1213.1 + -607.1. Is s less than 1.9?
False
Let b = -7303 + 22223026/3043. Which is bigger: 1 or b?
1
Let c(n) = 5*n - 89. Let j be c(21). Let s be (j/342)/((-14)/(-21)). Which is bigger: s or 1?
1
Let y be 2 + (-40)/18 + 0. Let t = 6644 + -6755. Is y <= t?
False
Suppose 3*u + 1258 - 1296 = 5*m, -5*u + 4*m = -33. Let t = 155/2224 - 1/139. Are u and t equal?
False
Let y = 0.97 - -0.03. Let i = y - 0.99. Let f be (20 - 4) + (-4324)/282. Which is greater: i or f?
f
Let x = -0.1555 + -0.8445. Let g = -12.09 + 12. Let k = g + 0.21. Is k <= x?
False
Suppose 2*n = 4*m - 1726, -3*n + 1721 = 4*m - 6*n. Is m at most as big as 1?
False
Let m = -10633 + 9960. Which is smaller: -679 or m?
-679
Suppose -f + 4*u + 33 = 0, -f + 3*u = -3*f + 77. Let j(q) = -15*q**2 - 2*q + 2. Let m be j(2). Let b = f + m. Which is smaller: b or 1?
b
Suppose 8294 = -2*z - 2*n, 29 - 4204 = z + 5*n. Are -4139 and z equal?
False
Suppose -5*c + 3*a = -c - 265, 2*c - 122 = -2*a. Suppose 0 = -2*n + 3*n + 4*h + 20, 8 = -4*n + 2*h. Let y be (n - c/(-24))*(-21)/2. Which is greater: y or 16?
16
Suppose x + 3*p - 4 = -0*p, 0 = 5*x + 3*p + 4. Let a be (3 + (-456)/154)*x/(-3). Let v = 8.2 - 8. Is v less than a?
False
Let c be (6/5)/(-6) + 138/15. Let a(d) = -9*d + 81. Let f be a(c). Are f and -3/13 non-equal?
True
Let z = -27 - -51. Let b = 11 - z. Suppose 0*p = -4*p - 64. Which is smaller: b or p?
p
Suppose -418*r = 402299 + 1000509. Are -3354 and r equal?
False
Suppose -8 = -3*y - 2. Suppose 3*z = 3*t - 3, 0 = -3*t + y*z - 0 + 3. Let r be (216/(-1512))/(3 - (9/2 - 2)). Which is greater: t or r?
t
Let g be (0 + 5)*(-88)/(-20). Suppose -c = -0*w - w + 14, -c = -5*w + g. Let x be -3 + 0 - 1 - c. Does x = -0.1?
False
Let q be (((-6048)/200)/6)/(2/719). Let h = q + 1812. Suppose 0 = -0*s - 4*s. Is h >= s?
True
Suppose -2847 = u - 4*u + 3*i, -u = -2*i - 948. Suppose -1 = 5*t - y - 951, 0 = -5*t + 3*y + u. Which is smaller: 189 or t?
189
Let o = 2770 - 19