-12). Is z < l?
False
Let t = 669 - 972. Let z = 250 + t. Which is bigger: 4 or z?
4
Let q = -10 - -19. Let a be -4 - 0*3/q. Suppose -21*j = -19*j - w, -6 = j + w. Is j at least as big as a?
True
Let r be (-176)/561*495/30. Which is bigger: -2 or r?
-2
Let j = -1032725/207 + 4989. Is -2/61 at most as big as j?
True
Let s = -7.2 - -29.2. Let d = s - 34. Let v = d + 13. Is 0.12 smaller than v?
True
Let n(m) = m**3 + m**2 - m - 19. Let a be n(0). Let j be a/8 + 4/(-16). Let u = 10 - 14. Which is greater: u or j?
j
Let g be (-115250)/(-153672) + 32/(-1024)*24. Which is greater: g or -1?
g
Let b = -2051.004 - -2051. Which is smaller: 3/17 or b?
b
Suppose 2*n - 230 = -2*m, 0*n + 5*n = -10. Let h be (3/m)/((-7)/(-28)). Is h < 0?
False
Let z = 44 - 42. Let s(w) = -w**2 + 4*w - 1. Let y be s(z). Suppose y*r = -4*b + 5, 5*r = -2*b + b + 14. Which is bigger: r or 25/6?
25/6
Let a = -1.419 - -2.419. Let z(r) = r**2. Let w be 1*3/(-6)*0. Let i be z(w). Which is smaller: i or a?
i
Let l = 6137 - 1282636/209. Which is greater: l or -1?
l
Let v be 31*4/(-26) + 75/15. Are v and -0.81 nonequal?
True
Let a = -103/6424 + -1/88. Let l = -18.431 + 18.231. Which is greater: a or l?
a
Let t(w) = -4*w**2 + 202*w + 4954. Let a be t(-25). Is a less than or equal to -2600?
False
Suppose 0 = -5*l - 4*v - 95, 3*l - 5*v = 2*l + 10. Let b = l + 12. Let g = b - -20. Which is smaller: g or 16?
16
Suppose -2*x + 71*l = 74*l - 291, 3*x + 5*l = 437. Do 126 and x have the same value?
False
Suppose 109 = 5*t - 2*n, -7*t = -5*t - 4*n - 50. Let d be ((-228)/t)/4 + (-2)/7. Let l be (-2)/d + (-10)/(-75). Is 2 at least l?
True
Let v be -187 + ((-30)/(-5))/((-12)/(-8)). Let o = 183 + v. Which is greater: -3/13 or o?
o
Suppose 3*m = 2*v + 556 + 55, 5*v + 20 = 0. Suppose -2*y - 294 = y + 2*r, 3*r + m = -2*y. Let g = 58 + y. Is g bigger than -38?
False
Suppose -u + 6 = 0, -650 = -2*y + 12*u - 13*u. Which is smaller: y or 320?
320
Let a(m) be the first derivative of m**3/3 - 9*m**2 + 15*m + 120. Suppose -20*j - 28 = -22*j. Let q be a(j). Is q equal to 0.2?
False
Let b = 4209.4 + -4209. Which is bigger: b or 586?
586
Suppose 5*w - 15 = 0, 5*m - 1 + 3 = 4*w. Suppose -5*l = i + 7, -m*i - l + 7 = i. Let j be 24 - (2 + (i - 4) + 2). Is 20 >= j?
False
Let t = -16 + 9. Let i be ((-285)/(-20))/(2*3/(-48)). Let a = -111 - i. Is a at most t?
False
Let x(c) = c**2 - 5*c + 6. Let q be x(4). Suppose 0 = w - 5*o + q, -o + 4 = -0*w + w. Let v = -4342 + 4346. Is v <= w?
False
Let b = 1152.35 - 1186. Let h = 1.35 - b. Suppose -2*w = -4*w. Which is smaller: h or w?
w
Let t = 52 - 55. Let n = 25 + t. Let r be (-4)/n + (-1140)/(-8569). Which is greater: r or 1?
1
Let v = 7129 - 7172. Is v > 10/11?
False
Let m = 42 - 26. Let o(t) = t**3 + 207*t**2 + 26*t + 5384. Let j be o(-207). Is m >= j?
True
Let x = -73.4 - -84. Let a = 65.6 - x. Let o = 55 - a. Do -16 and o have different values?
True
Suppose -13*m + 1466 = 530. Which is smaller: m or 8?
8
Suppose -3*o = -1185 - 759. Suppose -4*t + o = -13*t. Let r = t + 76. Which is smaller: r or 3/8?
3/8
Let w(s) = 2*s**2 - 62*s + 545. Let l be w(16). Which is smaller: 6 or l?
6
Let c be 10 + 36/(-6) + 0. Let v be (2/c)/(2/(-4)). Let d = 357 + -8217/23. Which is smaller: d or v?
v
Let l be ((-37)/(-20) - (-1296)/(-576)) + 0/(-2). Is -0.105 >= l?
True
Suppose -32*v = 131 - 355. Let o(d) = -5*d**2 - 13*d + 17. Let x be o(v). Is x at least -321?
True
Let t = -1.19 - -0.19. Let g(a) = 2*a**2 - 4*a - 28. Let i be g(6). Let h be (4/(-21))/(i/(-12)). Is h bigger than t?
True
Let g(l) = l**3 + 5*l**2 + 14*l + 30. Let o be g(-5). Let w be 150/2*(o/(-950))/2. Is w smaller than 2?
True
Let v(c) = 326*c - 780. Let q be v(5). Do 849 and q have the same value?
False
Let s = -3743 + 3703. Which is smaller: -54 or s?
-54
Let h = -0.1 + 0. Suppose -c - 4*s - 21 = 0, c + 45*s - 47*s - 9 = 0. Which is smaller: c or h?
c
Let l be 0/(-4*2/4). Suppose -17 + 5 = 6*w. Let f be w/34*(-2 - -8). Is f greater than l?
False
Let z = 983/2937 - 4/2937. Which is smaller: 17.5 or z?
z
Let z = 28037 - 28478. Is -421 less than or equal to z?
False
Suppose -303*c - 1065 = -318*c. Suppose -20*i - 149 = c. Is 7 < i?
False
Let a be ((-72)/(-156) + (-300)/(-26))*(-71)/(-4). Which is greater: 223 or a?
223
Let k(m) = 8*m**2 - m + 2. Let n be k(-4). Suppose -4*w - 2*p + 154 = 0, 3*p + n = 4*w + p. Let j be (w + 8)*(-1)/10 + 3. Which is smaller: j or 0?
j
Suppose -l - 1655 + 1699 = 0. Which is greater: l or -31?
l
Let j = 227723/40 - 5693. Suppose -2*s - 2*s = -4. Is s >= j?
True
Let i = -4020 + 4020.03. Is -351 less than i?
True
Suppose -5*m = 34 - 29. Let x be (m/4)/(57/(-8) + 7). Let a be 0/x*(2 - 1)*-1. Is a at least as big as 2/69?
False
Let a = -5680 - -5827. Which is greater: -3 or a?
a
Let d(b) = -7*b**2 + 24*b + 115. Let y be d(-5). Let l = y - -180. Do l and -2/23 have the same value?
False
Let t = -0.303 + 0.3. Let z = 892.003 + -892. Let x = z + t. Do x and 0.044 have the same value?
False
Let i = -102 + 179. Let g be i/490 + 1/7. Which is bigger: g or 2/9?
g
Let t = -142/155 + 697/930. Suppose 4*n = -10*k + 5*k - 75, 45 = -2*n + 5*k. Which is smaller: n or t?
n
Let l be (9 - (-678224)/(-52187)) + 4. Which is smaller: l or 0?
0
Let v be 34 - (2/(-2) + 0 + 3). Let j be (6 - v - -4)*1/(-2). Is 9 != j?
True
Let g = 71 + 143. Let t(v) = v**3 - v**2 - 153*v + 951. Let a be t(6). Is g != a?
True
Let j = 20678.342 + -20682. Which is bigger: j or 1?
1
Let c = 0.057 + -1.407. Let y = c + 30.15. Let h = -29 + y. Is h at least 0.2?
False
Let g(r) = r + 55. Let o be g(0). Suppose -107 = 34*c - 277. Suppose 2*w = -c*h + o, 4*h + h - 45 = -4*w. Is h != 13?
False
Let t = -736 + 6625/9. Are t and 227 nonequal?
True
Let l(v) = 35*v**2 + 25 + 20*v - 7*v + v**3 - 24*v**2. Let q be l(-10). Let c be 1 + (0 - q/(-5)). Which is greater: c or 3/5?
3/5
Let u be (-10395)/70*4*(-21)/(-18). Let g = -693 - u. Which is greater: g or 36/49?
36/49
Let i be 0*2/((-4)/3*-3). Suppose -21 = 7*y - i*y. Let a be -2 + (-9)/y + -1 + 1. Does 12/17 = a?
False
Let f = 2.96 + 219.04. Let u = f - 221.87. Which is greater: -10 or u?
u
Suppose w + 2*w = 0. Let d = 1979/17255 - 1/2465. Are d and w nonequal?
True
Let q(j) = j**3 - 39*j + 10. Let a be q(8). Are a and -0.07 non-equal?
True
Suppose 0 = -5*n + n + 728. Let h = -1442 - -1625. Is h at most n?
False
Suppose -10811*b + 16524 = -10794*b. Which is bigger: 6802/7 or b?
b
Suppose q - 5*b - 145 = -184, 5*b = 45. Which is bigger: 403/56 or q?
403/56
Let u be -3*((-34)/(-6) - 8). Let y be 5 - (u - (3*-4)/(-4)). Is 1/55 <= y?
True
Let w(q) = -q**2 - 3*q - 2. Let z be w(-5). Let o = 160 + -159.94. Is z < o?
True
Let t = -23667 - -23664. Let u be 2*(-1)/(32/4). Which is greater: u or t?
u
Let h be ((-20)/((-1600)/(-48)))/(3/26811). Which is bigger: h or -5361?
-5361
Let y(a) = -a**3 + 8*a**2 - 10*a + 17. Let s be y(7). Let n be 0/(s*(-1)/4) - -29. Is n greater than or equal to 324/11?
False
Suppose -1 = -2*t - w + 5, t + 2*w - 9 = 0. Let g(q) = -6*q**2 - q. Let c be g(t). Are c and -3 equal?
False
Let q = 2976/13 + -11943/52. Are q and 181 unequal?
True
Let w = -78331 + 48084. Let z = -30373.11 - w. Let x = -126 - z. Are x and 0.06 equal?
False
Let m = -2.486 - -2.586. Which is bigger: m or -0.0565?
m
Let b = 23569 - 22316. Which is bigger: 1248 or b?
b
Suppose 4370 = 95*h - 7220. Is h greater than 128?
False
Let a be -3*12*(0 + 8/180). Suppose 3 + 2 = -5*y. Which is bigger: a or y?
y
Let g = 22098.1 + -21882.046. Let a = -216 + g. Which is smaller: 0 or a?
0
Suppose -70*m + 65*m - 3*x + 544 = 0, -5*m + x + 572 = 0. Are 122 and m unequal?
True
Suppose -4*f + 159 = -34*o + 29*o, 0 = -3*o - 2*f - 91. Suppose 3 = r + 3*g - 0, 4*r - g + 14 = 0. Is r bigger than o?
True
Let j be (-2125)/(-15) - (-3)/(8 + 1). Let k = -75 + j. Do k and 66 have the same value?
False
Suppose 3894 = -33*j - 85470. Is -10837/4 at most j?
True
Let q be ((-16)/12)/(4/186). Let j = 198 - 188. Let u = j + q. Is -53 not equal to u?
True
Suppose -9588 = -2*k + 5358. Is -1 greater than k?
False
Let o = 10357 + -10348. Is 2 not equal to o?
True
Let r = -6765.019 + 6770. Let m = -0.27 - -0.289. Let n = r + m. Which is smaller: -5 or n?
-5
Let a be -3 + 330606/30054 + -5 + -3. Which is smaller: a or -1?
-1
Suppose 0 = -2*o + 3 + 3. S