7/396). Is c < -4135?
True
Let a be (5/(-10))/((-4)/3096). Which is greater: a or 386?
a
Let x be 1536/(-960) - (46/(-60) - -3). Suppose 2*h = -2*h - 12. Which is greater: x or h?
h
Let f = -6550 + 6549. Which is greater: 7/2342 or f?
7/2342
Let y(c) = -48 + 18*c**3 - 2*c**3 + 10*c + 18*c**2 - 14*c**3. Let b be y(-8). Which is greater: 2/253 or b?
2/253
Let t = 1 + -7. Let s(q) = -q**3 - 4*q**2 - 8*q - 12. Let l(m) = -m**2 + 2*m - 1. Let c(u) = -3*l(u) - s(u). Let w be c(t). Which is greater: 38 or w?
w
Let z = 2250 - 2249.98. Which is greater: z or -1/48?
z
Suppose -5*u = -3*o - 26 - 8, -5*o = 3*u. Suppose -2*c - 122 = -2*m - 7*c, 5*c = -u*m + 335. Are m and 70 non-equal?
True
Suppose 5*v - 6 = -26. Let r be (-5)/((-50)/6726) - -1. Let m = r - 677. Which is smaller: m or v?
v
Let z = -198542/7 - -28360. Which is smaller: -124 or z?
-124
Let i = 5 - -11. Let d = 155 - i. Suppose 5*j + d = -6. Which is greater: j or -30?
j
Let n = 28 - 22. Let y be 12240/(-168)*(-21)/n. Do y and 254 have the same value?
False
Let j = -15955 - -15956.43. Is j greater than or equal to 27?
False
Let t = 5 - -4. Let q = -53 + 90. Let b = q + -40. Which is smaller: t or b?
b
Suppose 0 = 2*o + 6, 5*h + 19*o = 13*o + 1182. Suppose 53 + 1859 = 8*l. Which is smaller: h or l?
l
Let b = 2736 + -4106. Which is smaller: -1371 or b?
-1371
Let b = -32 + 31.96. Suppose -23 + 7 = 8*f. Let t = f + 3. Is t greater than or equal to b?
True
Let m = -7816 + 7885. Is 22 smaller than m?
True
Let f(a) be the first derivative of -a**3/3 + 5*a**2/2 + 3*a - 5. Let j be f(5). Let b be (-447)/(-264) + (-2)/(-11). Which is greater: b or j?
j
Let v(h) = h**2 - 78*h - 3240. Let j be v(-30). Which is greater: -1/16556 or j?
j
Suppose -4*z - 14 = -5*c, -2*c + 1 = 12*z - 9*z. Let d = 5644345/136 - 41502. Let r = -5/8 + d. Is r greater than z?
True
Let q be (-4 - -1) + 8 + 3. Let g(w) = w**3 + 8*w**2 + w - 13. Let c be g(-4). Suppose -6*n = -c - 13. Is q less than n?
True
Let y = 655/56 - 81/7. Suppose 8*r - 3*r = 6*r. Suppose 3*g - 3*i + 6 + 0 = r, 4*i = 4. Which is bigger: y or g?
y
Suppose 5 = 37*q - 38*q. Let b be 179 + 1 + q + 2. Let v be (3*1*1)/(b/295). Which is smaller: v or 10?
v
Let q(k) = -k**3 + 84*k**2 + 444*k + 46. Let u be q(89). Which is smaller: u or -529/12?
-529/12
Let h be 7*10/315 + (-21)/((-315)/(-8030)). Is -535 <= h?
False
Let n = -45214 + 45172. Let l(i) = -4*i**2 + 5*i + 3. Let d be l(6). Let m = 69 + d. Is m < n?
False
Suppose 3*n + 15 = 4*m - m, 5*m - 25 = -4*n. Let o be (-22)/33 + (-10)/3. Let c be o/6 + 22/33. Are n and c unequal?
False
Suppose -2*j - 21 = 15. Let i be 45/j*(1 - 3). Suppose 8*p - i*p + 45 = 0. Which is greater: p or -14?
-14
Let k(s) = -76*s + 455. Let t be k(6). Let u be (-12)/8*(-1038)/(-9). Which is bigger: t or u?
t
Let g = 964 - 477. Suppose -g + 165 = -7*s. Which is smaller: s or 50?
s
Suppose 0 = z - 6*z + 35. Let a(v) = 17*v**2 + 1. Let x be a(-1). Suppose -3*i - 2*u + x + 9 = 0, 2*i + 5*u = 29. Does i = z?
True
Suppose 0*b + 3*b + 3 = 2*i, -4*b = 2*i - 10. Let z(q) = q**3 - 10*q**2 + 9*q - 6. Let s be z(9). Let h be s/(-10) + (-234)/465. Which is greater: h or b?
b
Let k(c) = -3*c**3 - 41*c**2 - 159*c + 4. Let n be k(-11). Which is greater: 790 or n?
790
Let j = 5389/145 - 186/5. Suppose -2*b = 4*h - 64, 2*b - 5 + 1 = 0. Suppose h*v = -44 + 29. Is v > j?
False
Let v = -0.66 + 2.66. Which is greater: v or 15.9?
15.9
Suppose -3*v = -979 + 973. Is 120/61 less than v?
True
Let y = -2493.919 + 2494. Which is smaller: -0.6 or y?
-0.6
Let f = -28 + 61. Suppose 52*b - 58*b = -36. Suppose -3*v + b = -2*d + 2, -5*v = -10. Is f at least d?
True
Let x = 16894364 - 1098094288/65. Let z = 3054/5 - x. Which is smaller: z or 6?
z
Suppose j + 21 = 4*l, 3*l + 2*l - 40 = 4*j. Suppose -l*o + 47 = -17. Suppose 2*z + 36 = 4*z. Does z = o?
False
Let y = -29 + -59. Let f = y - -88.41. Let w = f - 0.46. Are 2 and w equal?
False
Let n(q) = -2*q - 845. Let f be n(106). Is -1054 smaller than f?
False
Suppose -y = 3*a + 846, -6*y - 1421 = 5*a - 8*y. Is -567/2 not equal to a?
True
Suppose -20 = z - 6*z. Let h be (-28)/2 - (238 - 485). Suppose v + 60 = -u, z*v - 6*u = -3*u - h. Is -58 smaller than v?
False
Let b be (9/(-12)*48/90)/((-2)/5080). Which is smaller: 1017 or b?
b
Let x be (2/(-4))/(10/220). Let b be (3/4)/(x/1298). Which is smaller: b or -89?
-89
Suppose 39*j - 38*j = -3*d - 2453, -3256 = 4*d + 5*j. Is d less than or equal to -819?
True
Let m = -23 + 22. Let t be (20/(-8)*2)/m. Suppose 2*v + 5*j - 49 = 0, -3*v + t*v + j = 29. Is 12 smaller than v?
False
Let s(r) = 1185*r + 14041. Let v be s(-12). Which is greater: v or -180?
v
Let t be (-1 + -1)/(1/(-5)). Let r = t + 46. Let w = r - 57. Are w and -0.4 non-equal?
True
Let g be (-1)/(80/24 - 3) + 58. Is g equal to 67?
False
Let m = 0.43 + 157.57. Let v = m + -255. Which is greater: v or 1?
1
Let n = 181 - 114. Let t = 134 - n. Which is smaller: t or 1/5?
1/5
Suppose 5*a = 3*s - 8*s + 75, -3*s - a = -37. Suppose -v - 10 = -4*f - 0*f, s = -2*v + 5*f. Suppose 4*j = -12, 3*j = -5*p + v*j - 78. Is p > -13?
False
Let l be 19579/28 + (6 - (-25)/(-4)). Which is smaller: 696 or l?
696
Suppose 286 + 374 = -12*r. Suppose 4*h + 34 = -30. Let l = 49/3 + h. Which is smaller: l or r?
r
Suppose -4*d + 80 = 4*n, -5*n - d = -6*d - 60. Let w be ((-92)/n + 6)*0. Which is smaller: w or 1/208?
w
Let p = -5 + 10. Let c be 1/(-4)*0 - p. Let i be (-39 - -13)*(-2)/(-14). Is c less than i?
True
Let s be 2*(7 + -4 + 5). Suppose 4*p + s = r, 0 = 2*p + 9*r - 4*r + 30. Which is smaller: p or 2?
p
Suppose -130*m - 213 = -127*m. Let b = m + 209/3. Suppose 3*r = -9 + 3, -3*w = -4*r - 2. Which is greater: w or b?
b
Let b(o) = -2*o + 21. Let p be (-243)/(-21) - (-12)/28. Let a be b(p). Which is bigger: a or 1/3?
1/3
Let t = -463/9 - -51. Let i = -119 + 127. Suppose -5*z + 2*b + 5 = 16, 3*b = -z + i. Is t bigger than z?
True
Let t = -0.11 + -4.39. Let a = 25646.2 + -25646. Which is smaller: t or a?
t
Suppose g - 32 = 15. Suppose 3*n + 0*n = 2*k - 143, -5*k = -5. Let r = n + g. Which is bigger: r or -5/4?
r
Let n be 3 + (1 - 2) + (-513)/(-9). Suppose z = -5*l - 90, 2*l + 54*z + 36 = n*z. Is -1 greater than or equal to l?
True
Let v be (39/(-2))/(5/((-60)/9)). Suppose 9*a + 8 = v. Suppose 4*q = a*z + 12, 5*z + 4*q + 42 = 2*q. Is z >= -15/2?
False
Let f be 40/(-110) - (-175302)/482262. Which is smaller: f or -1?
-1
Let l = -67238616/889 + 75634. Which is smaller: 1 or l?
l
Suppose 4*b + 17 = 4*x + 61, 0 = -b. Suppose 56 = 2*r + 4*q, 16 = r + 3*q - 4*q. Suppose 45 = -3*u + 4*s - 2, -5*s - r = 5*u. Is u equal to x?
False
Let j = 1401 + -1401. Let l = -27.8 + 159.8. Which is smaller: j or l?
j
Suppose -v - 37 = -3*b + 21, v = 4*b - 75. Let i(w) = 16*w**2 + 1. Let j be i(-2). Suppose -3*t - 20 = -j. Is b less than or equal to t?
False
Let a = 972 + -1062. Which is smaller: a or -20?
a
Suppose 0 = -4*j - 112 - 588. Suppose 197*g + 7 = 198*g, 3*g - 28 = 7*u. Which is smaller: u or j?
j
Let s = -320 - -250. Let k be 9815/(-385) + 10/s. Which is greater: -27 or k?
k
Let k be (15 + -7 - 6) + ((-4800)/117)/20. Suppose 4*u + 6 - 2 = 0. Which is bigger: u or k?
k
Let i = 296456 - 296412. Suppose 76 + 53 = 3*z. Do i and z have different values?
True
Let u be (-3)/(6/(-4)) + -2. Let x = -11 - 29. Let h be ((-12)/x)/(4/15). Which is bigger: h or u?
h
Let r = 38073/26 + -1465. Let t = -535/21 - -24649/1092. Let g = r - t. Which is bigger: 3 or g?
3
Let j = 21684.8 - 21686. Which is greater: -590 or j?
j
Suppose 5*y = 16*y. Let q = -2/27805 - 1963031/27805. Let o = -71 - q. Is o less than or equal to y?
True
Suppose 10*r + 410 = -70. Let p(b) = 39*b**3 + 2*b - 1. Let c be p(1). Let l = c + r. Is l greater than -4?
False
Suppose 0 = t + 4*a - 234, -3*t - 2*a + 32 + 690 = 0. Let r = -246 + t. Which is smaller: -25/9 or r?
r
Let w be 2/(64/(-66) + 1). Let i = 928 - 934. Let x be ((-72)/w)/i + (-20)/(-11). Which is smaller: x or 28/13?
x
Let o(n) = 17*n + 38. Let g be (-24)/14 - (-8 - 464/(-56)). Let q be o(g). Let k be ((-13)/(-7) - 1)*7. Which is smaller: q or k?
q
Let g be ((6 - 13) + 14)/(13/(-78)). Which is greater: g or -132?
g
Let h be 18/24 - (-22)/4*68. Let o = h - 769/2. Are o and -11 nonequal?
True
Let f(i) = -9*i - 1165. Let b be f(27). Is -1407 smaller tha