19 - 0.0319. Which is smaller: d or -1.287?
-1.287
Let a be (3/(-452))/(44/(-24) - (-56)/42). Are 0 and a nonequal?
True
Let g = -20227/14350 + 71/50. Which is smaller: g or 1?
g
Let g be 9*-2*(-2)/12. Let a be (24/14)/(g/(-21)). Suppose 2*u = 5*t + 73, -27 = 5*t - 2*t + 3*u. Which is smaller: a or t?
t
Let l = 3927 - 3937. Is l less than or equal to -171/16?
False
Let t be ((-3)/(-3))/(601/(-2)). Let r be (-1 + 1)/(-331 + 336). Is r bigger than t?
True
Let z be (63/(-77) - -1) + (-519096)/2855754. Are 0 and z unequal?
True
Suppose 0 = -2*i - 3*i - 5. Let k = 65/1174 - -35819/63396. Let d = 64/27 - k. Is d greater than or equal to i?
True
Let w(l) = 7*l + 25. Let t(r) = -r**2 - 18*r - 1. Let b be t(-18). Let s be w(b). Which is smaller: s or -10?
-10
Let p = 23 - 20. Let v be (2/p)/(26/156). Suppose -h + 8 = -k + 3*k, -v = -2*h - k. Which is greater: h or 3?
3
Suppose 247*w - 299806 = 17*w + 232644. Is w greater than 2316?
False
Let z = 319 + -186. Suppose 0 = 4*q + 17*y - 20*y + z, 4*q = -y - 121. Do -33 and q have the same value?
False
Let p = 171 + -172. Let r = 17 + 16. Let y be 3 + -3 - (-1 + r/25). Which is smaller: y or p?
p
Suppose -2*y = 3*h - 250, y - 85 = 31*h - 32*h. Suppose 0 = -88*b + h*b + 104. Which is smaller: 172/13 or b?
b
Let j = 355 + -184. Suppose 3*d - j = -5*p, -5*d + 285 = -2*p + p. Let q = d + -48. Is -2 smaller than q?
True
Let j = -1233.56 + -80.44. Is 2 greater than j?
True
Let k = -197 - -191. Let o = k + 6.1. Is 196 equal to o?
False
Let p(l) = -81*l - 2636. Let a be p(-23). Does -774 = a?
False
Let r(q) = 2*q + 7. Let f be r(-6). Let i be (18/4)/(f/10). Suppose -66 = 5*j - 3*a, 4*a + 62 - 106 = 3*j. Which is smaller: i or j?
j
Suppose 0*c - 925 = -5*c. Suppose -4*u = u - c. Suppose 36 = -0*q + q. Which is greater: q or u?
u
Let g be -55*(8/(-70))/(7 - 9). Suppose 0 = -0*n + 2*n - 6. Let c(f) = f**3 - 3*f**2 - 4. Let i be c(n). Do g and i have different values?
True
Suppose l + 15 = 4*l. Suppose 0 = t + a + 24 - 35, -t - 5*a = -35. Is t less than l?
False
Suppose -2*o + 37 - 11 = 0. Suppose 798*c - 773*c = -152 + 552. Which is greater: o or c?
c
Let w = -374 - -563. Let b = -191 + w. Which is greater: b or -1/74?
-1/74
Let m(u) = 329*u - 333*u - 65 + 5. Let h be m(-15). Suppose k - 2*k - 3 = h. Which is greater: k or -13/3?
k
Suppose 51 = 12*k + 3. Suppose k*r = -5*g + 376, 470 = 8*r - 3*r + 4*g. Is 92 at least r?
False
Let x(a) = a - 5. Let c be x(6). Suppose -h = -0*v - v + 7, -2*v = 4*h + 10. Let z be v/(-186)*(13 + -9). Is c less than or equal to z?
False
Suppose -175 + 345 = 4*d + 186. Which is smaller: d or 40.4?
d
Suppose 0*x = 4*x - 12. Suppose 0 = 3*h - x*g - 24, -3*h + 4*g + 9 = -10. Which is smaller: h or 10?
10
Let w(b) = -2*b - 15. Let v be w(-8). Let x = -159 + 76. Let f = 85 + x. Which is smaller: v or f?
v
Let y = 54.1 + -57. Let b = y + 3. Let f be ((-12)/(-27))/(6/(-9)). Do b and f have the same value?
False
Let s be 1*(-3 - -4)*5. Suppose 0 = -5*p - 2*b - 9, 8 = -s*b - 2. Let w(g) = -19*g**3 + g + 2. Let n be w(p). Which is smaller: 19 or n?
19
Let z be (2 + -4 + 0)/((-46)/(-69)). Which is smaller: z or -14.27?
-14.27
Let l be (2/(-4))/(83/166). Let n be -10 + (1 - 2)/((-3)/3). Which is smaller: l or n?
n
Let d = 0.212 + -48.312. Let u = -48.2 - d. Suppose -5*o + 4*w - 409 = 0, -7 = 2*w + 1. Is o at most as big as u?
True
Let f(a) = -96 + 239 - 117 - 2*a + 10*a. Let u be f(-4). Is -50/7 <= u?
True
Let y be (104/78)/((-4)/(-645)). Which is smaller: y or 211?
211
Let u be 10 - (2272/75 + -12) - 16/20. Is u smaller than -10?
False
Suppose -2*h - 26 = -2*t, -9*t - 4*h = -4*t - 20. Suppose 253 = t*b - 347. Suppose -b = -m - 32. Are m and -1 equal?
False
Suppose -40 = -21*r + 65. Suppose 0 = 5*k + i + 3, -23 + 14 = r*k - 2*i. Do k and 2/113 have the same value?
False
Let s = 1250.4 + -1258.7. Is s <= -0.053?
True
Suppose 0 = -10*x - 11*x - 168. Is x != 53?
True
Let n = -230 - 180. Is n less than or equal to -410?
True
Let g = -6980 + 6979.858. Which is greater: g or -7/3?
g
Let s(o) = -o**2 - 7*o + 6. Let k be s(-8). Let f = -87 + 42. Let g be (-4)/f*(6*-5)/5. Which is greater: g or k?
g
Let h = -2 + 3. Let d = h + -0.9. Let a = -4.77 - -2.77. Which is smaller: a or d?
a
Suppose 0 = q - d - 5, -4*q + q = -4*d - 14. Suppose q*u = u. Let k be (-3)/6*-2*u. Is 1.4 at least as big as k?
True
Let y be (13 + (-1139)/(-51))*21/(-2)*-3. Is y smaller than 1117?
True
Let c = -29 + -2. Let w = -24 - c. Let t be (1 + -11)*(6/5)/(-2). Which is smaller: w or t?
t
Let j = 22.98325 - -0.01675. Let m = -6.49 + 4.36. Let w = 0.13 + m. Which is smaller: j or w?
w
Let t(q) be the third derivative of -q**5/12 + q**4/24 - q**3/2 + 2*q**2 + 27. Let z be 0/2 + 1 + 1. Let a be t(z). Which is smaller: a or -20?
a
Let s = 0.012377 - 111.012377. Let t = -1.1 + 1. Is s at least as big as t?
False
Let p = -908 + 879.42. Let t = -8.42 + p. Is -1/3 < t?
False
Let u be (-10032)/660*(1 - (4 + -8)). Let k(p) = p**3 + 3*p**2 - 5*p + 5. Let d be k(-6). Which is smaller: d or u?
u
Let l = 2960.0119 + -2960. Which is greater: 0.1 or l?
0.1
Let x be (-4)/(-22) + 495/605. Is 5/317 at least x?
False
Let g(a) be the second derivative of a**4/12 + 4*a**3/3 + 17*a**2/2 + 36*a. Let f be g(5). Let y = -72 + f. Which is greater: y or 9?
y
Let q = -889.5 + 889. Let d = 34 - 36.5. Which is smaller: q or d?
d
Let h(g) = 162*g - 2429. Let q be h(15). Let o = -8 - -3. Let u be 14/(-10) - (-6 - o). Is u at least as big as q?
False
Let k(g) = g**2 - 56*g + 662. Let x be k(38). Do x and 18 have the same value?
False
Let z be -1 - (3 - (1 + 2)). Suppose -2*s = -p + 8 + 3, 2*s + 8 = 0. Let q be 16/(-1 - p)*2. Do z and q have different values?
True
Suppose 5*g - 52 = g. Let n be g/6*-4*3. Let k be (25/3*6/(-30))/(3/45). Which is smaller: n or k?
n
Let o(f) = 2*f**2 - 48*f + 187. Let s be o(0). Is s > 751/4?
False
Let a = -11815 + 6321027/535. Let h be ((-2)/6)/(292/(-876)). Which is smaller: h or a?
a
Let u = 19050.97 + -19051. Which is greater: 1096 or u?
1096
Suppose -6*i = 84 - 72. Let w be -1 - i - 3 - (-66 - -30). Which is bigger: 104/3 or w?
104/3
Suppose -2*m = 5*z + 2053, 3*m + 2057 = -2*z - 3*z. Let d = -412 - z. Is d != -18/7?
True
Suppose -3*g - 162 = -6*g - 3*q, -3*g + q = -154. Let z = g + -54. Which is greater: -18/11 or z?
-18/11
Let j be ((-10)/(-8))/(-4 + 485/120). Let h be ((-49)/(-7) - 10) + j. Which is bigger: 25 or h?
h
Suppose 5*j - 3*h = 146, 5*h - 108 = 13*j - 16*j. Let i = -333/266 + 19/14. Which is smaller: i or j?
i
Let t = -34/2135 + 394162/6405. Is 61 smaller than t?
True
Let f(v) = -6 + 53*v - 33*v - 27. Let o be f(-19). Let k = o - -3709/9. Which is smaller: -2 or k?
-2
Let g(n) = 24 + 9*n - 63*n**2 + 61*n**2 - 7. Let d be g(6). Which is greater: -4/9 or d?
-4/9
Let k(c) = -c**3 - 26*c**2 + 333*c + 8949. Let j be k(-25). Let w = 0.2 - 0.1. Let n = w - -0.1. Which is smaller: n or j?
j
Suppose -5*u - 20 = 0, -z - 804*u = -803*u - 301. Which is bigger: z or 311?
311
Let x(m) = m**2 + 9*m. Let n be x(-9). Suppose n = 3*r - 0*r. Let g = -20765/11877 - -189/107. Which is bigger: r or g?
g
Let u be 58/609*81/18. Is u smaller than 0.97?
True
Let o be ((-1)/2)/(106/(-8)). Suppose -2*v - 6*l + 9*l = 2, 0 = -4*v - 2*l + 12. Suppose 0*u + 5*u = 0, v*u = -f - 0*u. Which is smaller: f or o?
f
Let k(m) = -7*m + 165. Let g be k(35). Let h be (-16)/g*(-2)/(-2). Let o = 21 - 20.89. Which is smaller: o or h?
o
Let b be 14/(-2) - ((-5322)/1278 + -3). Which is smaller: -1 or b?
-1
Let x = -0.603 - -1.103. Which is greater: x or 148?
148
Suppose 7*f + 95 = 2*f. Suppose 0 = 1867*u - 1864*u - 54. Let y = u + f. Which is greater: -2 or y?
y
Let p = -278 + 180. Let t be p/(-18) + -20 + 17. Let h = 6 + -4. Do h and t have different values?
True
Let v be (6/5 + 0)/((-3)/(-10)). Let r = 359 - -9. Let w be ((-24)/r)/((-3)/v). Which is smaller: 1 or w?
w
Suppose -72601 = -74*x + 55*x + 910. Which is greater: x or 3868?
x
Let r = -0.6 + 0.4. Let h be (-52 + 61 - (-5)/(-1))*2/84. Is h greater than or equal to r?
True
Let j = 14998 - 14997. Let t be (-1)/6*(-1)/6. Is j >= t?
True
Let z be 2/(-5) + (-1040)/(-100). Let t(f) = -f**2 + 33*f - 241. Let i be t(21). Is z > i?
False
Let u = -162387046/1832493 + -2/140961. Which is bigger: u or -90?
u
Let g(z) = -2