be 0 + -1 + (-16)/(-3 + -1). Suppose -14*v = -n*v - 99. Suppose -7*r + v*r = 24. Which is greater: 1 or r?
r
Let g(z) = 2*z**3 + 12*z**2 - 14*z + 2. Let m(x) = x**3 - x**2. Let u(i) = -g(i) + 3*m(i). Let j be u(14). Let q be ((-12)/(-18))/(8/(-10)). Is q at most j?
False
Let i be 1*-11 + -7 + 60. Is i < 38?
False
Let b(w) = -3*w**3 + 17*w**2 - 12*w + 23. Let s be b(5). Is -207 at most s?
True
Suppose 8*p - 9*p = -23. Suppose p*u + 4 = 27*u. Suppose 0 = -4*c + 125 - u. Which is bigger: 32 or c?
32
Let q = -10603/5 - -2063. Let m = 60 + q. Which is smaller: m or 1?
1
Suppose -b - 13*r = -9157, -b + 474 = -4*r - 8700. Which is bigger: b or 18337/2?
b
Let m = -1500 - -1201. Is -283 less than m?
False
Let h = -390 - -385. Let d be (-7)/h*(-16)/(-56). Is -0.1 less than d?
True
Let a be ((68 - 59) + 1*-61)*17. Is a at least as big as -1/2?
False
Let b = -2872 - -2872. Let x be (-18)/(-408)*2/(-6). Is b smaller than x?
False
Let u = 9372 + -9339. Which is bigger: -4.7 or u?
u
Let c = -0.0286 + -23.9714. Let n = -216.1 - -241. Let v = c + n. Do v and -1 have different values?
True
Suppose u - 206*f + 208*f = -12, 0 = 3*f + 18. Is u >= -1/25048?
True
Let k(r) = -r**3 + 3*r**2 + 6*r - 4. Let w be k(4). Suppose -3*n - p - 53 = 69, -n + w*p = 32. Is -42 bigger than n?
False
Suppose -4*m + 2*w + 872 = 0, 6*m - 4*w - 1087 = m. Let i = -659/3 + m. Which is bigger: -153 or i?
i
Suppose -18*u - 53032 = 1922. Is u < -3052?
True
Let g be 3/2*-25*(-3 + 1). Suppose -5*n + 4 = -11. Suppose -2*v + 380 = n*v. Are g and v equal?
False
Let f(t) = 5*t**3 + t**2 + t. Let j be f(1). Let o be 45/(-6)*(-8)/20*j. Let m be -55*(16/10 + -2). Which is smaller: m or o?
o
Let x be (154530/(-58))/9 - (1 - 2). Let q = x - -296. Is q < -1?
False
Let o = -8712.997 - -8713. Which is greater: o or -22?
o
Suppose 31899 = -16*y - 20*y + 85*y. Which is smaller: y or 643?
643
Suppose 60 = -5*m + 9*m. Let x(b) = 3*b - 6. Let a be x(m). Suppose 0 = 2*k + 2*v - 84, 5*v + 157 = 4*k - 2. Is a less than or equal to k?
True
Let t = 4.6 - 4.516. Let q = 32.916 + t. Let w = -7 - q. Which is smaller: w or -2/5?
w
Let o(n) be the second derivative of -5*n**3/6 + 7*n**2 + 7*n. Let q be o(3). Let s = 15 + -14. Is s less than q?
False
Let n = -136.51 + 136.49. Which is smaller: n or -643?
-643
Let u = 768113/11745 - -2/2349. Is 64 less than u?
True
Let o = -191.8 + 4493.8. Which is smaller: o or -0.1?
-0.1
Let w = -1.542 + -0.198. Let l = w + 177.74. Is 0 != l?
True
Suppose -3*o + 3 = 5*v + 2, -5*v - o = 3. Let b be 11 - ((10 - 0) + (-9 - -4)). Suppose 0 = -b*m + 4*m - 4. Which is smaller: v or m?
m
Let s = -11842 - -12009. Which is bigger: s or 173?
173
Let k = 0.38 + 4.62. Let z = k + -0.6. Let o = -0.4 + z. Which is bigger: o or 0.8?
o
Let s = 36.82 - 38.82. Which is smaller: -2385 or s?
-2385
Let p(r) = r**3 + 27*r**2 + 27*r. Let h be p(-26). Let x be 115/(-7) - (11 + (h - -12)). Is -12 greater than x?
True
Let n = -841/1263 + -1/1263. Which is greater: -2/4597 or n?
-2/4597
Let v(w) = w + 3. Suppose 3*f + 15 - 2 = 2*r, 13 = 5*r - f. Let y be v(r). Suppose -y*d + 0*j - 20 = j, 2*j + 10 = 0. Which is smaller: d or -5?
-5
Suppose 36 = -13*n + 14*n. Suppose -n = 4*y - 8*y. Let a be (-8)/24*y/3. Which is greater: 9 or a?
9
Suppose 18*z - 28*z = 4310. Let k = z + 24566/57. Which is bigger: 1 or k?
1
Suppose 111 = x - 4*h, 3*h = 4*x - 278 - 101. Is 84 at most as big as x?
True
Suppose c - 5*n - 385 = 0, 334*n - 331*n - 1029 = -3*c. Are 3838/11 and c non-equal?
True
Suppose 506 = 103*p - 215. Let s be (344/(-12))/((-39)/9). Is p != s?
True
Let k = -3.82 - 123.18. Let z = -285 - k. Is z equal to 2?
False
Suppose 4*n = 4*l + 6*n + 408, 400 = -4*l + 2*n. Let q = l + 71. Is -61/2 not equal to q?
True
Suppose 646*c = 655*c. Which is smaller: 1/48 or c?
c
Let h = -588 - -1184. Let k = h - 596.1. Which is bigger: k or -140?
k
Suppose 611*a = 627*a. Is a less than or equal to 17/315?
True
Let y be 2/4 - 1/2. Suppose 2*c - 2*u + 2 = y, 4*u - 28 = -c - c. Suppose 3*s - 7 = 3*p + 2, s = c*p. Are 5/3 and p non-equal?
True
Let r = 486.45 + -498. Let t = 0.45 - r. Let d = t - 12. Is d at least 1?
False
Suppose 47*u + 729 = 50*u. Is u < 4?
False
Let m = -0.8014 + -0.1986. Is m less than or equal to 0.128?
True
Let u = 0 + 1. Suppose -293 = -52*c + 71. Are u and c equal?
False
Suppose 0 = -3*v + 8 + 10. Let k be (6/3)/(v/(-51)). Let o = 0.85 + -1.85. Which is bigger: o or k?
o
Let f be (-15)/1*((-10496)/24)/8. Let h = f + -1641/2. Let d be ((-2)/4 - 0)*-2. Does h = d?
False
Let f = -1938 - -11575/6. Let q(z) = -4*z**2 - 181*z + 518. Let t be q(-48). Which is bigger: f or t?
f
Let n(q) = -12 - 20*q - 1 - 6. Let l be n(5). Let x be (108/42 - 2) + 54/l. Is x less than or equal to 1?
True
Let s = 18 + -19. Let c = 6402 - 185682/29. Let w = c - -457/377. Which is bigger: s or w?
w
Suppose -p + 4*m + 66 = -69, -3*m = -3. Is p >= 94?
True
Let c(q) = 2*q - 24. Let h be c(-8). Let a = -35 - h. Suppose -a*s + 14*s = -9. Which is bigger: -1/21 or s?
-1/21
Let i be 80/300*(-21)/87962. Is 0 at most i?
False
Let k(t) = 38 - 91*t - 29 + 258. Let i be k(5). Are -187 and i equal?
False
Suppose 30 = 9*c - 24. Let l be 660/(-40)*((-4)/c)/(-1). Which is bigger: l or -17?
l
Let q = -72 + 218/3. Let c(m) = -2*m**2 - 14*m + 440. Let y be c(-19). Is q != y?
True
Let o(h) be the first derivative of 1/2*h**2 - 53 - 7*h. Let s be o(12). Which is smaller: 50/9 or s?
s
Let b(i) = 10*i**2 - 2*i - 2. Let q be b(-1). Let x = 75/2 - q. Is x < 29?
True
Let v = 0.07341 + 12.62659. Is v greater than or equal to 1/7?
True
Suppose -2*o - 5*t = -146, -27*o - t = -30*o + 185. Let g be 4/14 - (12 - 828/o). Is g at most 1?
False
Let x(i) = -52*i - 13. Let p(l) = -113*l - 27. Let y(d) = 6*p(d) - 13*x(d). Suppose n - 16 = -3*n. Let q be y(n). Is -7/3 less than or equal to q?
True
Let w be (10/8)/(12/96). Suppose 2*k - 3*k - 2 = s, 0 = -3*s + k + 2. Suppose -g - 4*g - 7 = o, s = 4*o - 3*g - 41. Do o and w have the same value?
False
Suppose -90 = -14*s + 4*s. Suppose -5*c = 9*n - 10*n - s, 6 = -4*n + 5*c. Which is smaller: n or -10?
-10
Let y(l) = -444*l**2 - 2*l**3 + 19 - 5*l + 463*l**2 - 7. Let r be y(9). Let u be (-6)/28*r/(-18). Which is greater: 0 or u?
u
Let f = 6814 + -7120. Which is greater: f or -305?
-305
Let k = -4/609 - -1270/7917. Which is greater: -6/505 or k?
k
Let l = -74.6 - -75. Let y = l - 0.353. Let n = y - -0.953. Is n equal to 100?
False
Let w(n) = n**2 - 4*n + 1. Let z be w(4). Let s be (7982/3 + 12/(-9))/20. Let y = -133 + s. Which is bigger: y or z?
z
Suppose 5*l = -3*b + 2*l - 9, -4*l - 28 = -4*b. Suppose b*z - 130 - 234 = -3*v, 5*v + 4*z - 606 = 0. Which is smaller: 121 or v?
121
Let c be (-26)/30 - 2/(-3). Let y = -70.1 - -90. Let q = 20 - y. Is q at most c?
False
Suppose 0*n = -4*n - 5*y, -2*y + 12 = 4*n. Suppose -326 = 5*m + 2*t, -6*t + 328 = -n*m - 7*t. Which is smaller: m or -63?
m
Let u = -4008.06 + 4008. Do -192 and u have the same value?
False
Suppose -65*h = 98*h + 100*h. Which is bigger: -5/72 or h?
h
Suppose 6*y - 3*y + 4*f - 1399 = 0, 2*y + f = 926. Let q = -463 + y. Which is greater: -1/7 or q?
-1/7
Let g = 1.012 - 2.312. Let j be (-1)/3 - 42/(-18). Is g bigger than j?
False
Suppose 22*g + 32 + 45 = -55*g. Which is smaller: 6/7391 or g?
g
Let d be 32/10 + (-140)/35. Which is smaller: 0.071 or d?
d
Let b = 18/5 + -21/5. Let v = 998 - 1108.2. Let s = v + 110. Is s greater than or equal to b?
True
Let o = -229/1022 + -9/146. Is o greater than -0.906?
True
Let a = 1641 + -1724. Is -81 at most as big as a?
False
Let k(y) = y**3 - 8*y**2 + y + 3. Let a be k(4). Let l(r) = -11*r**2 - 213*r + 681. Let t be l(3). Are a and t nonequal?
False
Suppose 2 - 27 = -2*y + 5*a, -2*a - 10 = 0. Suppose y = -4*s + 27 + 61. Is s greater than or equal to 22?
True
Let o(u) = -8*u**2 - 91*u + 14. Let c be o(-15). Let i = 382 + c. Is i bigger than -39?
False
Let q be (-4)/(-6) + 1/3. Suppose -o = -9 - q. Let s = 1711 + -1700. Does o = s?
False
Let x be -17 - ((-84)/(-8466) + -17). Which is smaller: x or 0?
x
Let h = 267 - 2939/11. Let i = 90 - 90. Is h greater than or equal to i?
False
Let l(z) = -14*z**2 - 4*z - 14. Let i be l(-6). Which is greater: -1971/4 or i?
-1971/4
Let z be 1/(-7)*(3 + 115/(-15)). Is z at most as big as -8859?
False
Let z(r) 