: 1 or x?
x
Let f be (-18)/(-1796)*(81 + -79). Is f equal to -1?
False
Let l be ((-9)/12)/(0 - (-4)/(-144)). Let p = 29 - l. Suppose -5*t = -h - 0 + 12, 0 = h - p*t - 6. Which is bigger: h or 12/5?
12/5
Let k be (10/(-3))/(4/(-18)). Suppose -3*a + 2*v = a + 58, -4*v + 32 = -a. Let x be (28/3)/(a/(-18)). Which is smaller: k or x?
x
Let m be (-11)/(704/11632) + 1/(-4). Which is smaller: m or -175?
m
Let h = -517 + 515. Let r = -55.8 + 55. Is r at least as big as h?
True
Let r(i) = -90*i + 73. Let u = 39 + -35. Let m be r(u). Which is bigger: m or -285?
-285
Let s = 19 - -14. Suppose -s*q + 880 = -29*q. Is 221 < q?
False
Let x be (16/(-18))/((-11)/17721*-18). Which is smaller: x or -79?
x
Let f = 98 - 205. Let r be ((f*12)/(-3))/2. Which is bigger: r or 0?
r
Let v = -47 + -5. Let k = 2680 + -2731. Are k and v equal?
False
Let f be (4 - 8) + (-12)/(-3). Let c be (2/(-444))/((-2)/6). Let o = -337/13986 + c. Which is greater: f or o?
f
Suppose 3*l + 2*h = -104, -l + 3*h = 60 - 29. Let s be l/(-119) - 283/1113. Is s < 1?
True
Let t = 0 - -0.02. Let q be 45479/1157 - 312/8. Is q at most as big as t?
False
Let m = -5177962/67 - -77283. Let v(w) = -2*w**2 - 2*w - 1. Let d be v(-1). Which is bigger: d or m?
m
Suppose 34 = -5*i + 54. Let o be ((-542)/i + 7/(-14))/(-2). Which is greater: 2 or o?
o
Suppose 0 = 10*x - 2*x + 296. Let p(j) = j**3 + 38*j**2 + 38*j + 32. Let h be p(x). Is -5 != h?
False
Let b = -2/182795 - 157349934/182795. Which is bigger: b or -862?
b
Suppose -4*n - 2318 + 18223 = 5*f, 15895 = 4*n - 5*f. Which is smaller: 3976 or n?
n
Let v be 10/14*(5 - 7) - 6/(-14). Is v at most as big as 2/15177?
True
Let t = -2397/8 + 300. Let j be (-78)/195 - 17/(-5). Suppose -3*b = -0*b + 2*s - 7, -3*b + 3*s - j = 0. Is t >= b?
False
Let y = 850 + -6801/8. Let k(i) = i**2 + 9*i + 14. Let u be k(-7). Is y > u?
False
Suppose 5*q + 5*t = 820, -4*q = -t - 1002 + 356. Is 165 at most as big as q?
False
Let z(n) = 4*n + n**3 - 3*n**2 - 9*n - 3 + 3*n - 10. Let v be z(5). Which is greater: -5 or v?
v
Let x = -120/9551 - -87802823/38204. Which is smaller: x or 2297?
2297
Let c be (-4*6/32)/((-18)/2922). Let o = -74503/612 + c. Let n(t) = t**2 - 6*t - 1. Let w be n(6). Which is smaller: w or o?
w
Let j be 7 + -11 - (-2 + -4). Let m = 12.983 + -13. Which is greater: j or m?
j
Suppose -18*f - 6*f + 384 = 0. Suppose 0 = 13*u - 68 + f. Suppose -5*a = 2 - 7. Which is smaller: u or a?
a
Suppose -2*w - 400 = 4*d, 3*w - 21*d + 560 = -22*d. Which is greater: -153 or w?
-153
Suppose 0 = -x + l - 3, -4*x + l + 9 = 4*l. Which is bigger: x or 1264?
1264
Let s = 10 - -1.5. Let j = 12 - s. Let u = -0.59 + j. Which is smaller: u or 1/2?
u
Suppose -85*n + 80*n - 43566 = 4*c, -8*c + 17484 = -2*n. Is n at most -8719?
False
Let l = 14 - 13.988. Let s = 0.592 - l. Let c = -0.48 + s. Is 8 <= c?
False
Let o be ((-44980)/(-8995) - 5)/((-110)/(-35)). Which is greater: o or -1?
o
Let u = -63 - 10. Let o = 123 + u. Is o smaller than 0.2?
False
Let j = 53 + 24. Suppose 3*z + 0*z + 2*q = 92, -3*z - 5*q + j = 0. Is z greater than or equal to 33?
True
Let j be (-7)/(-21) + 8684/3. Let o = 1248 - j. Let z be -3 + o/(-480) - 2/5. Do 0 and z have the same value?
False
Let u = -3958 + 3925. Let x be (2/(-4))/(3/(-30)). Suppose 167 = -x*g - 3. Are u and g non-equal?
True
Let n be (15 + (-17205)/30)*2*-1. Which is greater: 2235/2 or n?
2235/2
Let u be (30 + -28)*1/(-2)*1. Let k = -82 + 5245/64. Which is greater: u or k?
k
Let l = -25 + -164. Let k = -203 - l. Is 5 >= k?
True
Let h = -2.5 - 0.5. Let v = -0.091 - -0.086. Are v and h non-equal?
True
Let w be (-1)/(2/182) - -6*(-30)/(-45). Which is greater: w or 2?
2
Let n = 258 + -269. Let c = 78 + -71. Let d = -7 + c. Which is smaller: d or n?
n
Suppose 2*b + 52 = 17*h - 20*h, b = 4*h + 18. Let f(r) = r**2 + 9*r - 9. Let u be f(-8). Is b at least u?
True
Let i = 2383 + -2389. Is i greater than or equal to -222?
True
Suppose -3*n + 1 = -4*g, -2*n - 3*g + 8 = -2*g. Suppose 5*l - n*t = 435, 3*l - t = -5*t + 232. Let z = 95 - l. Which is bigger: z or 12?
12
Let z be ((-1)/(-10)*-8)/((-5)/75). Let h(y) be the second derivative of y**3/6 + 3*y**2/2 - 2*y. Let i be h(z). Is 17 greater than i?
True
Let r(f) = 13*f + 2. Let z(j) = -j + 1. Let x(h) = r(h) - 3*z(h). Let n be x(1). Suppose -s = g - 2*g - 21, -5*s + g = -85. Is n greater than or equal to s?
False
Let c(g) = 4*g**2 + 269*g - 814. Let o be c(3). Is 1 < o?
True
Suppose -43*n = -38*n - 25. Suppose n*z + 380 = 25*z. Let l(k) = -k + 18. Let v be l(0). Which is greater: z or v?
z
Let g = -5543/28 + 593/3. Let p = g - -1/12. Which is smaller: 9 or p?
p
Let v be 27 + 9/(-1) - 5. Suppose 0 = -4*x + 5*i - 32, -5*x - 8*i + v*i - 35 = 0. Which is bigger: 110 or x?
110
Suppose 4*k - 11 + 3 = 0. Let w = 171 - 151. Let o be 4*k/w - (-238)/30. Is 8 < o?
True
Let q be (-5)/(-10)*162 - -2. Let r be 6001/72 + (-6)/27. Let t = r - q. Which is greater: t or -3?
t
Let p be (-10)/(-4) + (-15)/10. Let m be ((-14)/(-1484))/(63/42). Is p bigger than m?
True
Let h(m) = -14*m**2 + 0 - 1 - m + 2 - m**3 + 0. Let q be h(-14). Let x be 24 + -12 - 21 - -26. Is x > q?
True
Let p be 312/15 + -1 + (-48)/60. Suppose 6*b - 25 = -p. Let l be (3/(-59))/(3/(-2)). Is b < l?
False
Suppose o - 3 = 5*c, -5*o + c - 2*c = -119. Let b be 6/1*(-4)/((-24)/(-57)). Let t = b + 79. Which is smaller: o or t?
t
Let o(d) = d**3 - 6*d**2 + 4*d + 6. Let n be o(5). Suppose 2*g + 4 = 4*g. Let b be g/6 - (1 - (-23)/(-39)). Which is smaller: n or b?
b
Let l = 70.17 + -1.17. Let h = -61.4 + l. Let m = h + -15.6. Is 0.2 equal to m?
False
Let u = -1/588518 - -105723089/20009612. Let f = 5842 + -695202/119. Let i = f + u. Which is bigger: 5 or i?
i
Let o = 14589/34 - 741/2. Which is greater: 59 or o?
59
Let w be ((-105)/(-18) + -2)/((441/(-476))/(-21)). Which is bigger: 88 or w?
88
Let c = -297 - -234.5. Let y = 61.66 + c. Which is smaller: y or 0.2?
y
Suppose -92*g - 9 - 83 = 0. Is -0.129 at least g?
True
Suppose 37*h + 27*h = 0. Which is smaller: h or -1/5590?
-1/5590
Let m(h) = -3*h + 2. Let z be m(0). Suppose 2*n = -z, k + 26 = -2*k + n. Suppose 7 + 1 = -5*v - s, -v = -3*s + 8. Is k bigger than v?
False
Let q = -644.42 + -4.58. Let l = -642 - q. Is l at least 13?
False
Suppose 87*u - 39620 + 8307 - 18103 = 0. Is u less than 564?
False
Let m be (0 - 10/18)*(-126)/(-105). Let a(j) = -j**3 - 5*j**2 + j + 7. Let z be a(-5). Suppose -d + 7*n - 1 = z*n, -5*d = -4*n - 16. Which is greater: d or m?
d
Let t be 1142/(-84) + 88/924. Which is bigger: t or 2/99?
2/99
Let p(x) = -7*x + 56. Let g = -314 + 322. Let y be p(g). Is y < 9/8?
True
Let a = -3796.46 - -3858. Let p = -61 + a. Let s = 0.91 - p. Is 0 smaller than s?
True
Let w = 4380 - 4460. Which is greater: w or -3/26?
-3/26
Suppose 4*d - s - 2557 = 2*s, 0 = 4*s - 4. Suppose -3*h = -b - 392, 4*b - d = -5*h - b. Is h at most as big as 130?
True
Suppose -10*a - 22 = -2. Let c be ((-3)/12*a)/(2/(-56)). Let y be (-11)/(539/c) - 2/7. Is y less than -6?
False
Let y(o) = -36*o + 290. Let c be y(8). Let l = 33 - 35.04. Let b = 0.04 + l. Which is smaller: b or c?
b
Suppose 0 = 4*c - 2*a + 410, -13*c - 518 = -8*c + 3*a. Suppose 2*g - 7*g = -575. Let q = c + g. Which is smaller: q or 13?
q
Suppose -140 = 3*g - 41. Let l be ((-6)/(-9))/(6/(2160/g)). Is l smaller than -8?
False
Let d be (7/28)/(-1) - (-4114)/8. Let i be (-2 - d/(-258))*21/7. Which is bigger: i or 0?
0
Let k(o) = o**3 + 3*o**2 - 12*o + 1. Let c be k(-5). Suppose -11*x - 55 = c. Is x bigger than 1?
False
Let t = -2.9 + 3.2. Suppose 23 = 6*b + 59. Let y be -5 + ((-10)/b - 3). Is t != y?
True
Suppose 0*w = -4*w + 120. Suppose w = -2*s + s - 5*l, 0 = 4*s + 3*l + 35. Let t = 4 + s. Is -2/17 equal to t?
False
Let k be 18/24*(-12)/(-120). Which is smaller: k or 26?
k
Let w = 13.52 - -0.48. Let c = w + -52. Let o = c + 36. Does -0.2 = o?
False
Suppose -w = 3*a - 9, 0 = 2*a - a - 5. Let p be (1365/(-1053))/((-1)/w). Is p greater than or equal to -9?
True
Let b = -5287/2 - -2730. Suppose 5*m = -4*y + 379, 0 = 25831*y - 25834*y + 5*m + 223. Is b > y?
True
Let o = 2935 - 14592/5. Let y(h) = 15*h**2 - 25*h + 17. Let k be y(0). Which is bigger: o or k?
k
Let j = 2.3 - 3.6. Let h = -49 - -47.5. Let r = h - j. Which is smaller: -1/11 or r?
r
Let d = 60 - 4. Let u = -58 + d. L