455)/35 + 1). Let p = 634 - r. Which is bigger: p or -8?
p
Suppose -132 = 4*q - v, 4*q - 3*q + 5*v = -33. Let i(m) = -6633*m + 172423. Let a be i(26). Is a greater than q?
False
Suppose 25 = -5*v + 5. Let y = 25.32 + -5.32. Let z = y - 24. Are v and z non-equal?
False
Let y be 47/(((-3)/102)/(-9 - 119/(-14))). Which is bigger: 790 or y?
y
Suppose 241 - 237 = 2*y, g = -4*y - 393. Is -3604/9 > g?
True
Let m(k) = k**2 + 15*k + 29. Let s be m(-13). Let g be (-111)/207 + (-1)/s. Let i be (-4)/5*(-5)/(-2). Is g at least as big as i?
True
Let u(r) = -2*r + 33 + 0*r - 6*r + 4*r. Let y be u(-6). Is y <= 57?
True
Let x be 2/11 + (-474418)/539. Let t = -880 - x. Are t and -18/43 equal?
False
Suppose 2*g - 5*t - 405 = 0, 5*t = 2*g + 2*t - 403. Let f = g - 166. Is 33 greater than or equal to f?
False
Let j = 19.332 - 1.122. Let m = -1.79 - j. Is m less than 3/4?
True
Let b = -18 + -13. Let k = 31.04 + b. Let d = 2806/4935 + 2/705. Which is smaller: k or d?
k
Let p = 28/55 + -10/11. Let q be 3/12*-2*(-138 + 0). Let u = -69 + q. Is p at least as big as u?
False
Let s(y) = y**2 - 3*y + 13. Suppose 0 = 4*r + 9 + 15. Let g be s(r). Let t = -3328 + 3395. Is g < t?
False
Suppose -5*o - 2*k - 6 = 0, 3*k + 9 = o - 2*o. Let n = o - -1. Let t = -315/16 + 27373/1392. Which is greater: t or n?
n
Let f = -1061 + 514. Let p = 547.0118 + f. Which is greater: 0.1 or p?
0.1
Suppose 0 = -8*x + 10*x + n + 200, 4*x + 4*n + 408 = 0. Let k = x + 223. Which is bigger: 127 or k?
127
Let t = 6515 - 6514. Is t equal to -2/47?
False
Let k be (4/(-10))/(14/(-2730)). Suppose -h - k = 2*h. Let z = 107 + -132. Is z != h?
True
Suppose -b + 4*q + 659 = -6*b, -4*b - 552 = -3*q. Which is smaller: -120 or b?
b
Let y be -2*(5 + -2)*3/(-6). Suppose x + 4 - y = 0. Do x and 1/40 have the same value?
False
Let t = 1 - 2. Let b = 2473 + -2473.3. Which is smaller: b or t?
t
Suppose -2*n + 447 = -3*x, 4*x + 233 = 2*n - 361. Let z = x + 150. Does z = -6?
False
Let j be (-24)/(-15) + (-21)/35. Is -1/815 equal to j?
False
Let x = 7468 + -11047. Is x at least as big as -3579?
True
Let b = 6961 + -76566/11. Is b < 65?
True
Let b = 11.84 - -0.16. Let x = -1.2264 + -13.7736. Are x and b equal?
False
Let n = 156 + -95. Let h = n + -66. Let l = 6 + -11. Is l > h?
False
Let g be ((-13)/(18 - -21))/(-2 - (-1152925)/576465). Is g >= 38431?
True
Let n(z) = z**2 - 6*z - 3. Suppose -10*u - 7 - 23 = 0. Let y be n(u). Is 23 > y?
False
Let t be ((2688/72)/(-28))/(-2). Which is smaller: 0.0661 or t?
0.0661
Let n be (-21*(2 - 42/18))/7. Which is smaller: 21/13 or n?
n
Suppose 13*k + 6556 = -3246. Do -757 and k have the same value?
False
Suppose 0*z + z = -5, 4*t - 643 = -5*z. Let s(d) = -5*d**3 + 3*d**2 - d. Let j be s(-3). Which is greater: j or t?
t
Let u = 30857 - 247351/8. Let d = -37141/600 - u. Is 0 bigger than d?
True
Let l(m) = -9*m - 3. Let q be l(4). Let t be q/(-585) - 518/6870. Let h = 3 - 4. Is h greater than t?
False
Suppose 8*r - 4*r = 20. Let g(x) = 17*x - 357. Let l be g(21). Suppose l = -8*q + r*q - 9. Which is smaller: q or -1/3?
q
Let i = 207.8 - 61.8. Let l = i + -145.92. Which is greater: -1.3 or l?
l
Suppose -25 = 16*m - 21*m, 2*u - 5*m + 27 = 0. Let h be ((-20139)/(-2849))/(-7) - u. Which is smaller: 0 or h?
h
Let b(p) = -3*p**3 + 31*p**2 - 37*p + 16. Let r be b(18). Is -8101 at most r?
False
Let c = -9.941 + 9.6. Let j = c - -0.031. Let f = -0.69 + j. Which is greater: f or -17?
f
Let f be (-1053)/(-810) + 6/(-20). Let w = -19.17 + 2.07. Which is smaller: w or f?
w
Let f = 19 - 20. Let c = 5/2147 - -17011/70851. Which is smaller: f or c?
f
Let s = -0.064 + 43.064. Let f = -558 - -604. Let t = s - f. Do t and 3 have different values?
True
Let r = -771/4 - -761/4. Let f(q) = q**2 + 8*q - 4. Let g be f(-8). Let p = g - -6. Which is smaller: r or p?
r
Let q be 0*((-98)/84 + 1/1). Let o(d) = -d**3 + d**2 - d - 62. Let k be o(q). Do k and -63 have the same value?
False
Let v(s) = -7 + 6*s + 5*s + 4*s - 12*s. Let u be v(3). Let w be 4*-2*4/(-40)*u. Is 2 at least as big as w?
True
Let v(q) = -231*q + 651. Let d be v(-3). Are d and 1344 nonequal?
False
Suppose 2*q + 0*q - 110 = 0. Suppose -116*m + 130*m - 728 = 0. Is m greater than q?
False
Let j = -60258/4792937 + 16/1223. Let t = 7720/231221 + j. Let x = -82878 - -82878. Is x greater than or equal to t?
False
Suppose 52 = 126*s - 65*s - 62*s. Which is smaller: s or -44?
s
Let o(w) be the third derivative of -w**6/120 - w**5/12 - 17*w**4/24 - 17*w**3 + 15*w**2. Let v be o(-5). Is -17 greater than or equal to v?
True
Let w = 178 + -175. Suppose -w*k = v, -7 + 83 = -5*v + 4*k. Which is bigger: v or -40/3?
v
Let q = -0.8 + 1. Let w = -27.1204 + 0.1204. Which is smaller: w or q?
w
Let b = 20.8 - 0.8. Let t = b - 29. Let m = 32 + t. Is -1 bigger than m?
False
Let c be ((2 + 1)/(-12))/(-1). Let g = -316.69 - -315.6. Is c greater than g?
True
Suppose -163*i - 1601 = -460. Is -2/103 greater than or equal to i?
True
Suppose 13*u - 1263 = -28. Is 95 less than u?
False
Let f be (-212)/8*(75 - 3)/(-3). Let k be -7 + f/28 - -1. Is k smaller than 16?
False
Let u(l) be the third derivative of -l**5/60 + 3*l**4/2 + 37*l**3/6 - l**2 + 40*l. Let i be u(37). Which is bigger: -2/735 or i?
i
Let v(n) be the second derivative of -11*n**4/4 + 13*n**3/6 - 13*n**2/2 - 258*n. Let r be v(1). Is -31 less than or equal to r?
False
Let l be -4 - -24*(2025/(-12))/(-9). Let j = l - 507. Suppose 3*z = -4*p - 180 - 26, 2*z - 2*p + 114 = 0. Is z less than or equal to j?
True
Let s = -2591 - -5427. Is s bigger than 14186/5?
False
Let g = 111 - 109. Suppose -s = g*s - 36. Let f(l) = -l**3 + 10*l**2 + 25*l + 18. Let x be f(s). Which is smaller: x or 28?
28
Let h = -4883 - -4883. Which is bigger: -2/1019 or h?
h
Let n = 4693 - 3489. Are 1202 and n equal?
False
Let y be -2*(-12)/(-8)*112/(-6). Let i = -56 + y. Which is bigger: -2/341 or i?
i
Let y(l) = -6*l - 45. Let d be y(-6). Let i be ((-4)/3)/((-45)/27). Does d = i?
False
Suppose -4*n - 5 = -13. Suppose 3*v + 27 = 4*r - 31, n*r - 74 = 4*v. Which is bigger: v or 1?
1
Let g = -8525/68 + 733/17. Suppose 12*y - 167 = -1151. Which is smaller: g or y?
g
Let j = -599.3 - -592. Let a = 0.055 + -47.055. Let k = a - -46. Is k bigger than j?
True
Let j = 0.8 - 4.8. Let d(g) = g**2 + 4*g + 52. Let r be d(13). Let z = r - 274. Which is smaller: j or z?
j
Let s be (-2)/(-7)*371/318. Is s smaller than 2/91?
False
Let h(s) = -3*s**3 - 24*s**2 - 90*s - 17. Let p be h(-7). Is p greater than 466?
False
Let a = -34.084 - -0.084. Let y = a - -36. Suppose 41 - 71 = -6*d. Is d at most y?
False
Let h = 1 + 2. Suppose z + p - 48 = 0, z + 4*p = 2*p + 46. Let y = z + -54. Does h = y?
False
Let c = 14974963/513009 + 2/73287. Which is bigger: c or 28?
c
Let h = 585 - 407. Let k = h - 177.8. Is -6.3 > k?
False
Suppose -4*g - 14*x = -17*x - 1436, 0 = 2*g + 4*x - 674. Is g equal to 351?
False
Suppose 0*y - t = -4*y, 12 = 3*t. Does 2/2559 = y?
False
Let j = -0.266 + 0.376. Let w = j - 0.21. Is -16 smaller than w?
True
Let q = 168/19 - 5223/494. Let z be 3/(-21) - (-820)/(-728). Let j = z - q. Is -1 > j?
False
Let x(v) = 4*v**3 - 41*v**2 + 2*v + 4. Let p be x(10). Let w = 12788/3 - 4338. Does p = w?
False
Let o = 318.07 + -5.07. Let f = 354 - o. Let c = 4 - 3.9. Which is bigger: f or c?
f
Suppose -617 - 5983 = -12*u. Suppose -128*f + 139*f + u = 0. Suppose 3*p - 41 + 188 = 0. Which is bigger: f or p?
p
Let v = -9396041/1028 - -36561/4. Is 1 at least as big as v?
True
Let m = -7679 - -775594/101. Are 0.1 and m unequal?
True
Let q = -18 - -17. Let p be q + 44/52 - 28674/26. Let w = p - -47427/43. Which is greater: w or -1?
w
Let r be (1037/14 + -2)*(29 - 95)/33. Which is smaller: -143 or r?
r
Suppose -2*n = 5*y - 854, -2*n + 694 = 4*y - 4*n. Let l be 3/(-12)*16/y. Let q = -77/1462 - l. Which is smaller: q or 0?
q
Let n = 36/33725 - 67702/236075. Suppose 5*t = 3 + 2. Is n > t?
False
Let s be (2 - (-18)/(-4)) + (45/18 - 15). Do s and -170/11 have the same value?
False
Let s(h) = h**2 - 9*h + 16. Let y be s(8). Let c be 3/(y/44 - 4/264). Suppose 5*o - 3*b + 4 = c, 0 = 2*o + 4*b + 10. Is -3/2 not equal to o?
True
Let o = -6.7 - -308.7. Let g = -287 + o. Which is bigger: -0.2 or g?
g
Let r(b) = b**2 + 24*b + 22. Let z(x) = -22*x**3 + x**2 - 2. Let o be z(1). Let t be r(o). 