. Do s and i have the same value?
False
Suppose -191 = -2*p + 33. Let f = 192 - p. Let w = -107 + f. Which is greater: w or -30?
w
Suppose -4*k + 1 = 5*r, -2*r = k - 0*k - 1. Suppose 0*p - 5*p + f = -50, 28 = 2*p - 2*f. Let b(h) = -2*h + 17. Let z be b(p). Is z less than r?
True
Let j = 65 + -29. Suppose -17*c + 3510 = 10*c. Suppose -5*m + 2*q + c = -m, m - 10 = 5*q. Are m and j unequal?
True
Let p be (-867)/(-374) + 10/(-4). Which is greater: p or 135?
135
Suppose -2*z + z - 120 = -3*m, -132 = -3*m - 3*z. Suppose -3*w - 671 = -4*d, -d + 0*d + w = -169. Suppose 4*s + 0*s - d = 0. Is m >= s?
True
Let k = -20.8 + 357.8. Let p = 336.967 - k. Which is smaller: p or 2?
p
Let r be 5*12/150 - (-146)/10. Let n = r - -5. Suppose -80 = -3*k + 4*z, -3*z - 4 = 3*k - 49. Are k and n nonequal?
False
Let v be 7*-1 + (396/35 - 13). Is -8 < v?
False
Let s = 211649837/4377 - 48355. Which is smaller: 1 or s?
s
Let l be (-6)/(-27) - 19693/(-36). Let q = 550 - l. Suppose 173*n - 57 = 581 - 119. Which is smaller: n or q?
q
Let j = -0.8 + -64.2. Let o = -64.8548 - 0.0452. Let b = j - o. Which is bigger: b or 3/22?
3/22
Let w = -3573 + 3571. Which is smaller: w or -0.47?
w
Let k(g) = 2*g**3 + 49*g**2 + 25*g - 65. Let f be k(-24). Which is greater: f or -60?
-60
Let b = -2787 + 2787. Is b greater than 2/9259?
False
Let s = 24 - 25. Let l = -3067/2736 - -3/304. Is s less than l?
False
Let n = 648 + -498. Suppose -n = -8*k - 22*k. Is 12 less than k?
False
Let p = 237 + -128. Let k = 112 - p. Let o = -1 - -3. Is k < o?
False
Suppose 8*s - 13*s = 2*l - 191, 4*l = -2*s + 406. Suppose -96*d + 14 = -l*d. Do -81 and d have different values?
True
Let q = 29 - 37. Let o be q/4*1 + 49. Suppose -1 = 48*p - o*p. Which is smaller: p or -1/5?
p
Let t = -14/12965 - -5429756/12965. Do t and 420 have the same value?
False
Let n = -16 - -7. Let c be (n/15)/((-4)/100). Let d = -47/3 + c. Is 0.1 at least d?
True
Suppose 84 = 4*n - 92. Suppose 5*z - 111 = -3*g, 0 = -5*g + 8*g + 3*z - 117. Which is greater: n or g?
n
Let v be 64/110 + 4/(-10). Let r be 12/(-15)*585/(-468). Which is smaller: v or r?
v
Let m(k) = -16*k + 6. Let y be m(-7). Let o be ((-2)/(-35)*7)/(y/10). Which is bigger: o or 1?
1
Let u be 7/(-28) + 81/(-12). Let z be ((-19)/(-2) + u)*108. Are z and 270 nonequal?
False
Let j be (-437 - 6) + (-8)/(-5 + -3)*-1. Which is smaller: j or -449?
-449
Let b = 106 - 131. Let i = 279 + b. Which is greater: i or 255?
255
Let u = 3851 - 3851. Is -1/1244 less than u?
True
Suppose 1178*g + 12 = 1190*g. Let y be 346/(-236) + 9/6. Is y < g?
True
Let j = -40912 - -41981. Is j <= 1072?
True
Suppose 84*a = 23*a - 23790. Is a equal to -1555/4?
False
Suppose -4 = -4*q - 4*b - 24, 4*b = -16. Is 1/3815 < q?
False
Let u = -70 + 102. Let k be (((-216)/30)/(-3))/((-1)/5). Let l = 11 + k. Which is bigger: u or l?
u
Let t = 192 - 87. Let x be (-65)/t - 2/(-6). Let a = 10366 + -10343. Is x >= a?
False
Let l be (1386/(-45))/(12/(-15) + 1). Let h be l/(-30) - (-22)/(-165). Suppose s - 2*g + 7 = -1, 2*s + h*g = -52. Which is smaller: -17 or s?
-17
Suppose 3*m + 0*m = 2*m. Let x be m + (-9)/6*-24. Let t be x/50*80/24. Do 1 and t have the same value?
False
Let m = -196 - -186. Let o be (-5)/m*(-4 - (-26)/5). Which is bigger: -2 or o?
o
Suppose 927 = -156*b - 464 - 3601. Suppose -107 = 2*t - 41. Is b greater than or equal to t?
True
Suppose -29*w + 33*w = 6*l - 112, -2*l + 4*w + 24 = 0. Which is greater: 381/17 or l?
381/17
Let k be 2/((8/12)/((-6)/315)). Let n = -27/140 + k. Let z be (-81)/75 - (-2 - -1). Is z >= n?
True
Suppose -16540 = -6*k - 14*k. Let w = -860 + k. Is -28 >= w?
True
Let c be ((-309)/(-1))/(7/((-140)/(-15))). Is c smaller than 410?
False
Suppose -3*l = 3*o + 840, 3008 = -17*l - o - 1864. Is l at least as big as -9?
False
Suppose 244*n - 5*j = 240*n - 663, -3*n + j - 500 = 0. Which is smaller: -162 or n?
n
Let r be (-3)/14*175/150*0. Which is smaller: -484 or r?
-484
Suppose 3*n - 5*m - 13 = n, -4*n + 32 = -4*m. Suppose -n*j - 71 + 8 = 0. Which is smaller: -11/2 or j?
j
Let l be (-4)/(-6) - (-2)/(-6). Let z = 13.8 - 31.3. Let q = 0.5 + z. Which is smaller: l or q?
q
Let n = -13471 - -12569. Which is smaller: n or -0.1?
n
Suppose 8*f + 255 + 173 = 76. Which is smaller: f or -43?
f
Suppose 7*k = 242 - 249. Let l be (45 + -43)*k/(-5). Let f = -0.5 - -3.5. Which is greater: f or l?
f
Let f(s) = 2*s**2 + 14*s + 1. Let c be ((-406)/(-174))/(4/6 - 1). Let o be f(c). Which is smaller: o or -1/106?
-1/106
Let i = 21.85 - 22.22. Is i at least as big as -0.02?
False
Let n = 28 + -32. Let z be (-2)/n + 2/(-4). Suppose z = -4*j + j + 3. Is 1/3 at most j?
True
Let b(f) = -f**3 + 7*f**2 - 5*f - 8. Let z be b(6). Let j = -10974 + 10964. Is z at least j?
True
Let r = 51/968 + -33575/949608. Which is smaller: -1 or r?
-1
Let w = 113 + -352/3. Let a = 1.11243 + -0.11243. Is a equal to w?
False
Let d(j) = -j**3 - 7*j**2 + 8*j + 3. Let w be d(-8). Suppose -m = -w - 3. Let v = 237/5 + -42. Is v smaller than m?
True
Let g = 3196586/793 - 4031. Does g = 1?
False
Suppose 6*z - 3*z = -105. Suppose -15*x - 356 = 154. Let h = z - x. Which is greater: h or -3/4?
-3/4
Let n = -3.2 - -9.2. Let f = 12 - n. Let m = f - 5.9. Do 13/2 and m have different values?
True
Let v(u) = -u**3 + 4*u**2 + 17*u + 12. Let h be v(8). Let l be 6 + (h/52 - 4). Let j = 12 + -9. Are j and l unequal?
True
Let x = 394 + -391.632. Let b = x - 0.368. Does b = -0.2?
False
Let l = 539.5 - 539. Let p = -911/5200 + -4/325. Which is smaller: p or l?
p
Let c(f) = -f**3 - f**2 + 6*f - 6. Let h be c(-4). Which is smaller: h or 39?
h
Let d = -2943 + 5036. Let t = d - 6223/3. Let z = -8 + 27. Which is smaller: z or t?
t
Let v(a) = -7*a**2 + 5*a - 3. Let b be v(-4). Suppose -3*p - 415 = -5*o, 5*p = 1238*o - 1234*o - 683. Is b > p?
False
Let z = 5797 + -5789. Is z at most -987?
False
Let f(x) = 2*x + 28. Let m be f(-13). Suppose 0 = b + 4*s - 4, -b - m*b + s - 1 = 0. Suppose 3*l + 52 = -b*l + y, 6 = -3*y. Does l = -20?
False
Let z = 1.1 - -0.9. Let x = -15 + 42. Let d = x - 23. Is d < z?
False
Let h be (-2)/6 - (-43)/(-24). Let v = -1526 - -1523. Which is smaller: v or h?
v
Let y be (381/113030)/((-3)/(-2)). Which is smaller: y or 0?
0
Let b(q) = -q**3 - 5*q**2 + 6*q - 6. Let h be b(-7). Let s be ((h/(-6))/(-1))/(4/(-6)). Suppose y + 17 - 4 = 0. Which is bigger: y or s?
s
Let s be ((-189)/(-18) - -23)/(3/(-6)*-1). Which is smaller: s or 21?
21
Suppose 2*y + 248 = h - 3*h, 0 = -4*h + 8. Suppose 0 = 2*w + f + 248, -103 = 6*w - 5*w + 4*f. Is w less than or equal to y?
True
Let v = -892 + 835. Let f = 37 + -71. Let y = f - v. Is y at most as big as -1?
False
Let p = 3/1619342 + 12638154399/129547360. Let d = -487/5 + p. Do d and 0 have the same value?
False
Let g = -11009 - -11018. Which is greater: g or -170?
g
Let h(k) = 3*k**2 - 6*k + 3. Let x be 6/(-4) + (-39)/(-6) + -3. Let q be h(x). Let s(i) = i**3 - 5*i**2 + 4*i - 2. Let l be s(q). Which is greater: l or -9?
l
Let a = -1195 + 1082. Which is smaller: -125 or a?
-125
Let j(m) = -654*m - 10463. Let w be j(-16). Which is bigger: w or 115/62?
115/62
Let j(x) = -64*x - 641. Let f be j(-10). Which is greater: -26/171 or f?
-26/171
Suppose -2*d - 4*d = 6594. Let g = 106605/97 + d. Let x be -5*((3 - 8) + 48/10). Is g greater than or equal to x?
False
Suppose 0 = 10*a + 67 - 47. Let d be 4 - a - (-1785)/(-1813) - 5. Which is greater: 1 or d?
1
Let u = 51146639/9720 - 5262. Does -1 = u?
False
Suppose 13*o - 23818 - 10572 = 51*o. Is -907 at least o?
False
Let u = 799 + -3656. Is u at most -2855?
True
Let b(r) = r**3 + 7*r**2 + 3*r + 23. Let a be b(-7). Suppose 0 = -3*g + 4*g + s - 9, 3*g - 3*s - 3 = 0. Is g less than or equal to a?
False
Let j be (-5 - -7 - 7)/58. Which is smaller: -2/11 or j?
-2/11
Let f(c) be the first derivative of 13*c**2 - 151*c + 42. Let x be f(6). Let l = 3 - 0. Which is smaller: x or l?
l
Let v = -2898.8 + 2898. Which is smaller: 394 or v?
v
Let o = 205.97 - 210.97. Which is smaller: 1297 or o?
o
Let h = -11890277/83 + 143259. Which is bigger: 4 or h?
4
Let m be 2 + (1425/(-25) - -41). Let w = -1 + 4/5. Is m <= w?
True
Let i = 10065 + -10094. Let f(m) = m + 7. Let x be f(-6). Which is greater: i or x?
x
Suppose 7*p = 15*p + 1472. Is -183 not equal to p?
True
Let s be (-2)/9 + (-1799765)/3