1/5 at most f?
True
Let n = 8136 - 8143. Which is bigger: -5/2 or n?
-5/2
Let d = 0.2 - -0.2. Let n = 417867.23 - 417867. Is n > d?
False
Let r(n) = n**2 + 17*n + 14. Let v be r(-17). Let d be (0 + 4)/(-1) + v + 3. Suppose -d*x + 2 = -14*x. Which is bigger: x or 16?
16
Let j(y) = 3*y**2 - 208*y + 1361. Let t be j(62). Do 979 and t have the same value?
False
Suppose 164*u + 1620 = 152*u. Is -134 at least u?
True
Let y = 3193 + -47879/15. Which is bigger: 0 or y?
y
Let v = 60 - 79. Let j(l) = -l**2 - 17*l + 60. Let b be j(v). Which is smaller: b or -3?
-3
Let n(x) = -x**3 - 8*x**2 - 3*x - 22. Let u be n(-8). Let h be (3/18)/((-5)/u). Is 5/7 > h?
True
Let x be 3/(72/16) + 97/102. Let d = 688314/7 - 608459923/6188. Let w = d - x. Is 0 smaller than w?
False
Let o(a) = -3*a + 48. Let b be o(2). Let c(v) = -3 - 38*v + 2 - 4*v. Let r be c(-1). Is b > r?
True
Let s be 66/30 + (-1)/5 + 22. Let h be (10/10)/((-3)/s). Suppose 3*c = 8*c + 30. Which is bigger: h or c?
c
Suppose -3*y + y = 0. Let x = -173 + 184.3. Let u = -0.7 - x. Is y > u?
True
Suppose 0*t - 5 = -t. Let k = 4 - t. Let g = -34406 - -963369/28. Which is smaller: k or g?
k
Let r = 1191 + -1190. Let s be 2 - 0 - 188/92. Which is bigger: s or r?
r
Suppose 0 = -34*n + 31*n + 6. Let s be (n/6)/((-12)/24). Let j = 89 + -63. Do s and j have different values?
True
Let b = 660952/97 + -6814. Let k be (324/(-120))/27 - (-5)/50. Is b less than or equal to k?
True
Let d(q) = 3*q + 11. Let v(w) = 2*w + 11. Let h(m) = 6*d(m) - 5*v(m). Let a be h(-7). Let x = a - -34. Are x and -11 unequal?
False
Suppose -5*x + 4*a = -0*x + 46, -4*x - 12 = 3*a. Let q be x/(-1)*(-2)/(-4) + 25. Suppose 0 = g - 3*i - q, 0*g + i = -4*g + 47. Are g and 0 equal?
False
Suppose -2*w = 5*o - 165 + 984, 5*w = -2*o - 336. Let h(x) = -34*x + 7. Let i be h(5). Is i <= o?
True
Suppose i - 2*x = -802, -61*i = -62*i - 2*x - 782. Which is greater: i or -793?
i
Let z be -2 - (-8 + (-3)/(-1)). Let w be ((-6)/17)/((-22)/(-165)). Let s = -139/136 - w. Is s at least as big as z?
False
Let b(w) = 9*w**2 + 528*w - 363. Let x be b(-59). Is -193 less than x?
True
Suppose 60*a - 19 + 19 = 0. Which is smaller: a or -5/189?
-5/189
Suppose 40 = -4673*f + 4683*f. Let d = 18 + -10. Is f bigger than d?
False
Let y = 86.162 - 87. Let x = -0.638 - y. Which is greater: x or -317?
x
Suppose 48 + 152 = -2*z. Let u = 106 + z. Are u and 1 unequal?
True
Let i = 789381180467/39035804535 + 2/85792977. Let l = i + -264/13. Which is smaller: l or 1?
l
Let j = 3.3025 - 3.3025. Which is bigger: j or -14444?
j
Let x be (4*(-6)/24)/(698/5). Is x greater than -1?
True
Let o be 3404/(-74037)*(-5)/1. Let q = -13 - -12. Are q and o nonequal?
True
Suppose 0 = -2*k + 4*k - k. Suppose 3*p = 2*t - k*t + 145, 2*t = -2*p + 80. Let x(c) = 6*c + 3. Let o be x(7). Is o equal to p?
True
Let u = 2229121/303 - 7357. Is u equal to 0?
False
Let n = 5294 + -502926/95. Is n greater than or equal to 0?
True
Let p = -364/5 + 73. Let r = -221.2 - 59.8. Let q = r + 274. Is p at most as big as q?
False
Let v = -1/578 + 12723/4046. Which is smaller: 13 or v?
v
Suppose 5*o - k = -9, -3*k - 2*k = 5*o + 15. Let l be (o/3)/(6/27) - -4. Let a be (-2)/3*17 + l. Which is bigger: -10 or a?
-10
Let s = -294.8 - -333. Let n = 37.2 - s. Which is smaller: n or -110?
-110
Suppose -5*m = -3*l + 5*l + 25, 3*l = 2*m + 10. Let w be (12 + -5)*(-312)/(-14). Let g be ((-8)/w)/((-4)/(-6)). Is l less than or equal to g?
False
Let w(k) = -13*k + 169. Let a be w(13). Suppose 40*t - 66*t + 26 = a. Let m = 4/81 + 41/810. Which is greater: t or m?
t
Let h = 5473 + -4519. Is h at least as big as 957?
False
Let j be (1 - (-10)/(-16))/(1098/(-244)). Which is smaller: -42/13 or j?
-42/13
Let o be (-11)/66*18/(-8). Suppose 3*a - 2 = -q, -4*a - 4*q + 2 = -6. Let c be (4/4)/(2 + a + -1). Which is smaller: o or c?
o
Let r be (-4030)/(-16) - (21/(-8))/21. Is -0.1 <= r?
True
Let w = 628646/4515 + -11372/105. Which is greater: w or 32?
32
Suppose -8662 = -6*t - 5*c - 2676, c = -2*t + 1998. Which is smaller: 1004 or t?
t
Suppose 0 = -7*d + 2*d + 25. Suppose -2*t = -c - 5, -d*t + 10*t + c = 2. Suppose j - t = y - 3, 0 = 3*j + 3*y - 12. Which is smaller: j or 2/23?
2/23
Let f = -3159.9 - -3160. Which is smaller: f or -277/5?
-277/5
Let g(v) = -v**2 + 25*v - 28. Let z be g(24). Let q be 2522/(-1287) - z/(-18). Which is greater: q or 0.4?
0.4
Let a = 3970 - 3971. Is 1/600 not equal to a?
True
Let x be 9/(-2)*(-110 + 116). Suppose 2 = -3*m + 17. Suppose 0 = 5*f + m*y + 120, -4*y + 115 + 14 = -5*f. Which is bigger: x or f?
f
Let g = -47/1016 + -92695/104648. Which is smaller: -1 or g?
-1
Let w = 361.3 + -60.3. Let x = -300.96 + w. Is 19 bigger than x?
True
Let t = 2891 - 2919. Let s = -917 + 32093/35. Which is smaller: t or s?
t
Let o be (-98)/63 - (11 + (-37945)/3015). Suppose 2*a - a - 1 = 0. Which is smaller: o or a?
o
Let v be (-129)/8 - (-3)/24. Let i be -2 - -6 - (6 - (-23)/v). Which is smaller: i or -2?
-2
Let k be ((-54)/9)/(12/(-20)). Which is smaller: 244/25 or k?
244/25
Suppose 0*s - 6*s - 120 = 0. Let v be 114/8 - (-5)/s*1. Let t(k) = -k**3 + 14*k**2 - 2*k - 8. Let i be t(v). Is -36 smaller than i?
False
Let c be (-12)/(-6) + (-38)/10. Let r be (34/(-3))/(120/(-58) + 2). Let u = r + -164. Which is bigger: c or u?
u
Let h = 0.75 - 34.75. Let g = h + 33.935. Let z = g - 0.035. Which is smaller: z or 4?
z
Let t(n) = -n**2 - 62*n + 509. Let c be t(-70). Is c not equal to -4?
True
Let u = -35 + 34. Let p = 205546537/767442 + 2/127907. Let r = 266 - p. Which is smaller: u or r?
r
Suppose -409*i + 1380 = -64*i. Which is bigger: i or 99/19?
99/19
Let r = 26 + -93. Let i = 1838 + -1775. Let a = i + r. Is a <= 0?
True
Let w = 0.525 + -20.065. Let x = -20 - w. Let d = -0.36 - x. Is d < 9?
True
Suppose 0 = -3*z - j + 6190, 27 = -2*j + 11. Is 2072 less than z?
False
Let y be (-4820)/70 + 14 + -4. Which is smaller: -60 or y?
-60
Let f = 0.7 + -0.666. Let j = f + 0.066. Let g = 108 + -110.3. Which is smaller: g or j?
g
Let y(d) be the first derivative of -d**4/4 - 8*d**3/3 - d**2/2 - 8*d + 85. Let u be y(-6). Which is smaller: -75 or u?
-75
Let r = -14 - -72. Let b = r - 87. Is -30 less than or equal to b?
True
Suppose 9*j - 10 = 7*j. Let b(x) = -2*x + 10. Let a be b(j). Let s be 0 + 0 + a/1. Is s <= 4?
True
Let h = -25 + 27. Let t be 2/(-60)*h*11134. Let z = t + 742. Are -1 and z equal?
False
Let c = -108 + 192. Let y be (-8)/c*49/(-3). Which is smaller: y or 3?
y
Suppose 2*x + 7*x + 180 = 0. Let y = x + 22. Suppose -2 = 4*h + y. Is h less than or equal to 5/21?
True
Let c be (0 + 2)*3/(-2). Suppose -5*a = n - 429 + 426, 5*a - n = -3. Which is smaller: c or a?
c
Let b be (6/2 - (7 + -9)) + -5. Suppose -164*l + 185*l - 4620 = b. Which is bigger: 219 or l?
l
Let g(y) = 18*y - 2. Let v be g(9). Suppose 2568*b - 316 = 2566*b + 6. Which is smaller: b or v?
v
Let c be (9 - (-138)/(-30))*(-1595)/12. Let h = 588 + c. Do h and -0.4 have the same value?
False
Suppose 20*p - 15*p + 3*j = -389, 3*j = 2*p + 185. Are -2206/27 and p equal?
False
Suppose a + 2*k + 1013 = 0, a - 57*k + 1048 = -54*k. Is a greater than or equal to -1027?
True
Let a = 6690 - 6628. Is 4.4 equal to a?
False
Let m(i) = i**2 + 9*i + 9. Let h(o) = 5*o**2 + 45*o + 44. Let b(g) = -2*h(g) + 11*m(g). Let q be b(-8). Suppose -q*l - 30 = -15. Is -5 bigger than l?
False
Let n be (2001/(-570) - 9/6) + 20 + -15. Which is smaller: n or 13/3?
n
Let t(c) = 1 + 2 + 0*c + 0 + c. Let x be t(-1). Suppose h - 3 + x = 0. Is h less than or equal to 19?
True
Let f = 68862964 + -7643884684/111. Let m = -862 - f. Which is greater: m or 0?
0
Let b = -30687/4 - -7669. Let d = 1.97 - 2. Which is greater: b or d?
d
Let q(h) = -7*h**2 - 16*h + 2. Suppose -i = -3*m - 5, 19 = -11*m + 6*m - i. Let u be q(m). Let g be 1*-16 - 2/(-1). Does u = g?
False
Let i be (-4)/((-3 - 6 - -5) + 8). Do 4/1033 and i have the same value?
False
Let c(l) = -9*l - 4. Let b be c(-2). Suppose -40 + b = -3*a - r, -6 = -3*a + 3*r. Suppose -a*o = -4*o - 36. Is 13 less than or equal to o?
False
Suppose 23*p = -28 - 478. Let i be ((-864)/120)/(p/15). Let w be (-32)/(-6) - (-4)/6. Is i bigger than w?
False
Suppose -10 = -m - 4*n, -11*m + 8*m + 45 = -3*n. Suppose m*l - 114 = 348. Suppose 2*y + 3*f + 24 = 0, 2*y = 2*f - l + 9. Which is g