). Suppose -2*q = 4*r - 14, -4*q + c = -0*q + 2*r. Is 1/20 > q?
False
Suppose 5*t = 4*p + p - 5, -3*p = 3*t - 9. Suppose 3*z = 3*c + 6, -5*c - 5 = 2*z + 12. Let n be (765/60)/(c/(-4)). Do n and p have different values?
True
Let t = -82770/13 - -6367. Is 4/13 > t?
True
Let h(f) = 3*f**2 + 18*f + 1. Let g be h(-6). Let z be (-322)/9 + g*(-8)/36. Is -38 less than z?
True
Let r be 118/24 - 1/(-12). Let n be 4 + r/30*(-2)/(-2). Which is smaller: n or -0.4?
-0.4
Let f be (0 + -3)*320/60. Let s be (-36)/(-162) - (f/9 + 0). Suppose -7*x + 10 = -s*x. Is 1 greater than x?
False
Let d = 7454966/2855 - 13056/5. Let p = d - 1124/5139. Is p > 0.27?
False
Suppose 2*f + 3*f = 0. Suppose -4*s - 2*i - 76 = 0, -4*s + 4*i - 56 - 8 = 0. Let x be 4 - 1428/s*(-6)/122. Which is smaller: f or x?
f
Suppose -5 = 5*a - 3*u, 3*a - 161*u + 157*u + 3 = 0. Let t = 2 + -1.94. Let d = 0.34 + t. Is a >= d?
False
Suppose -15*k + 8 = -7. Let g be 24220/630 + (-8)/k. Which is greater: 30 or g?
g
Suppose -18*a + 15*a - 24*a = 96417. Is a at most as big as -3571?
True
Let y = 14832/150365 + -8/1769. Suppose -66 - 115 = -380*k + 199. Which is smaller: y or k?
y
Let n(h) = -h + 10. Let c be n(0). Let j be 1*(c/(-4) - (-210)/(-12)). Is -0.01 equal to j?
False
Let g(d) = -34*d - 309. Let w be g(-10). Which is smaller: 513/17 or w?
513/17
Let k(o) = 4117*o**3 - 2*o**2 - 113*o - 111. Let u be k(-1). Which is greater: u or -4116?
-4116
Let m be 9/24 - (-3754)/32*84/(-26166). Which is smaller: -1 or m?
-1
Let l(d) = 6*d + 174. Let f be l(0). Suppose -8*x = f - 190. Is -15.3 > x?
False
Let p(b) = -b**3 + 26*b**2 - 61*b + 319. Let d be p(24). Which is smaller: 73/11 or d?
73/11
Suppose 22038 = -91*l - 26283. Which is smaller: l or -528?
l
Let m = -607 + 715. Which is bigger: m or 93?
m
Let x be -1 + 6/14 + (-16)/(-28). Which is greater: x or -6/815?
x
Suppose -11*h + 7*h = -12. Let o be ((-24)/784*34)/(16/(-56)). Is o less than or equal to h?
False
Let y = -661/1510 + 51/151. Which is greater: y or -2.68?
y
Suppose 2*k - 481 + 449 = 0. Suppose 4*z = -3*i + 31, z = -3*z + k. Suppose 0*f = 3*y + 4*f + 10, 3*y = -2*f - 2. Is y greater than i?
False
Suppose i + 3 = -2*b, -4*b + i + 3*i + 24 = 0. Let y be -5 + b - (-37329)/2799. Let d = y + -1/311. Which is smaller: 8 or d?
8
Suppose 5*y = 0, -3 - 9 = -3*f - y. Suppose 2*h + 3*u - u + f = 0, 2*h + 5*u + 1 = 0. Is -36/13 at most as big as h?
False
Let i = 14112 + -14165. Which is smaller: i or -376/7?
-376/7
Let r be 847/(-55) - 4/(-10). Let i be 8 + 3/(r/10). Let p(x) = 7*x - 38. Let o be p(6). Which is smaller: i or o?
o
Let a = 14.44 - 14. Let y = 11.06 + -10.52. Let n = y - a. Is n at least as big as -0.2?
True
Suppose j - 3*j - 6 = 3*m, -4*j + 3*m = -6. Suppose j = 2*c - 4*c + 62. Let a = c - 32. Which is smaller: a or 1?
a
Let q(l) = l**3 + 51*l**2 - 49*l + 90. Let v be q(-52). Which is smaller: v or -36?
v
Let q = 1504.8 - 1503. Which is greater: q or 9?
9
Let f be 7 + (-6)/13726*12/(48/64060). Is f bigger than 1?
False
Let z be 180/(-152)*235/141. Which is bigger: z or -2?
z
Let o be (-18)/63 + 2 + 27/21. Suppose l - 1 = 3, 0 = -o*a + l + 107. Suppose a*s = 38*s - 71. Is s not equal to 71?
False
Let p = -2293.83 + 2295.83. Let s(c) = 5*c**2 + 3*c + 2. Let h be s(3). Which is greater: p or h?
h
Suppose 0 = -4*l + z + 20407 + 13890, -5*z - 8560 = -l. Which is smaller: l or 8574?
8574
Let j = -24507.1 + 24507. Which is smaller: j or -4251?
-4251
Let l(a) = a**2 + 5*a - 4. Let o be l(-6). Let q = 4 - o. Let i = -4/3655 - -43912/47515. Which is smaller: i or q?
i
Let k = 232 + -166. Let a = k + -66.2. Let w(c) = -3*c**2 + 5*c - 3. Let x be w(3). Which is smaller: x or a?
x
Let k = -388 - -410. Suppose k*a = 660 + 330. Is a greater than 43?
True
Suppose 2*j = 5*m + 770, -1859 = -3*j - 2*j - 4*m. Let c = j + -431. Is -58 bigger than c?
False
Let l = 243 + -236. Let q be -5 - (3 - l)/4 - -4. Do q and 34/39 have the same value?
False
Suppose -4*o - 12*a = -9*a + 95447, 5*o + a = -119295. Let y = 310306/13 + o. Is y smaller than 11?
False
Let s = -44 - -44.8. Let i = -0.84 + -64.16. Let v = i + 65.2. Which is bigger: v or s?
s
Let w = 4370 - 4378. Is w at least as big as -14?
True
Let i be 1054/(-85) + 13 - 68896/10. Is -6889 at least i?
True
Let m be (-10)/(-268)*2/5. Let i = 318/1139 + m. Let n = i - 59/85. Which is smaller: n or -4?
-4
Let y = 0.74 - 0.55. Let h = 54 + -69. Let c be (24/(-15) - 3/h) + 2. Is y at least as big as c?
False
Let d(f) = 3*f + 1. Let u be d(1). Suppose 4*k - 37 - 15 = -2*i, 5*i - 166 = -k. Suppose -2*r + i = u. Which is smaller: r or 4?
4
Let u be -7 + 4 + (-490)/(-100). Let y = 71/2 + -38. Let p = u + y. Is p at most as big as 2?
True
Let j(m) = 6*m. Let b(n) = 34*n - 1. Let p(o) = -6*b(o) + 33*j(o). Let t be p(-6). Let w = -35 + t. Which is smaller: w or 5?
5
Suppose 4*o = i - 67, -2*i + 5*i - 57 = 4*o. Let r be 2*(o/(-4) - 5). Let x = -4/139 + 603/16124. Which is bigger: r or x?
x
Let u be 0 - ((-3)/5)/(5/(-2775)). Let f = u + 300. Is f at most -36?
False
Let w(m) = -m**3 - 26*m**2 + 57*m + 29. Let u be w(-28). Let a be 22/209*((-3 - u) + 3). Which is greater: 11 or a?
11
Let y = -89 + 90. Let h be (-106986)/846 + (-1)/(-1 - 2). Let n = h + 126. Which is bigger: y or n?
y
Suppose r - 4*t + 68 = 0, -4*r + 4*t - 95 = 213. Which is smaller: r or -99?
-99
Let j = -55 - -63. Suppose j*x = -23 + 7. Let g be (-72)/(-208) + x/(-13). Which is greater: g or -10/13?
g
Suppose 7*j - 33418 = -12173. Is 3033 <= j?
True
Let k = 452 - 439. Suppose -2*j - 3*w - 17 = -4, 0 = 3*j - 2*w - k. Is j greater than -18?
True
Suppose -13*q = -2*q - 12*q + 1498. Is 1498 greater than q?
False
Let t = 16253 - 16247. Let l(n) = n**3 - 4*n**2 - 3*n + 6. Let i be l(5). Let v = i - 9. Which is smaller: v or t?
t
Let b be ((-6)/(-12))/(-1 + 1169/1120). Is b less than 2/3?
False
Let j be 12/18*9/(-11139). Do -1 and j have the same value?
False
Suppose 0 = -2*m + g, 3*m + 0*m + 4*g = 0. Suppose -2*n + 2*t + 16 = m, n + t - 5 - 5 = 0. Let h be 21/2*(-1 - (-21)/n). Does h = 53/4?
False
Suppose -2*q - 3*d - 40 = -13, 0 = 5*q + 2*d + 62. Is -144/13 > q?
True
Suppose -4*p - 6 = -3*p - 7. Which is greater: p or 2/2333?
p
Let z(b) = b**3 + 7*b**2 - 22*b - 33. Let k be z(-9). Let f be ((-194)/(-8) - k) + (-1)/4. Which is smaller: 16 or f?
16
Let v(x) = 13*x**2 - 3*x - 3. Let i be v(-2). Let o be 380/(-120)*108/(5 + -11). Which is smaller: i or o?
i
Let p = -24.648 - -24.6697. Which is smaller: p or 1.2?
p
Suppose -4*x + 16 = 4*p - 4, x + 5 = 4*p. Let f = 525 - 525. Suppose 3*m + 2*n = -f*m + p, 4*n = m + 4. Are 7/8 and m non-equal?
True
Suppose 0 = 5*d - 0*d + 2*n - 485, 124 = d - 5*n. Is 95 not equal to d?
True
Let i(m) = 3*m + 5*m**2 + 46 - 6*m - 12*m + 5*m - 6*m**2. Let x be i(-14). Which is smaller: -14 or x?
-14
Let w = -7 + 5. Let a be w*1 + (-3)/(-2). Let o = -15059/11292 - -1/3764. Which is bigger: a or o?
a
Let v = -1372 - -1371. Is v at least 6155?
False
Let h = 40049 + -40106. Let u = -8.8 - -8. Let o = 0.2 - u. Do h and o have different values?
True
Suppose -3*x = -5*x + 522. Let z be x + (-2)/(1 - 0). Suppose -59 + z = -5*l. Which is bigger: -0.1 or l?
-0.1
Suppose -d + 10 = 81. Let f be -2 + 2 - (4 - d). Let m be (-70)/4*(-60)/f. Which is greater: -15 or m?
m
Let h(c) = 18*c - 52. Let j be h(6). Suppose -5*x + j = -4*a, -3*a - 41 = -5*x + 16. Do 5 and x have different values?
True
Let z be (21 + (-35)/5)/(4/(-2)). Let u be (54/(-336))/(6/z). Is u greater than or equal to 0?
True
Let t be 0/(-1)*(-109)/(-436). Let c = -172839/29 - -5961. Which is bigger: c or t?
c
Let f = -76.8 + 85. Let m = -265 + 238.8. Let l = f + m. Which is greater: l or 0.2?
0.2
Let j be (((-2)/12*0)/(-2))/(-2). Let g(l) = -l**3 - 29*l + 46. Let z be g(j). Which is smaller: 45 or z?
45
Let z = 7746 - 5346. Suppose 17*k - z = 2*k. Is k equal to 160?
True
Suppose 0 = -7*o + 8 + 76. Let r be 74/(o*(-4)/(-4)). Is r smaller than 5?
False
Suppose -m - 3*c = 14, -3*c - c + 108 = -5*m. Let g = -3493/2 + 1726. Is g greater than m?
False
Let b(w) = -w**3 - 4*w**2 + 5*w - 2. Let s be b(2). Let q = -78 + 66. Which is smaller: q or s?
s
Let g be 2 - -2 - (-83 - -88). Which is smaller: g or -3.239?
-3.239
Let h = 5 - -2. Let v = 737.7 + -745. Let d = v + h. Which is smaller: d or 10?
d