a - 62 = -a + d. Suppose -23*w = -28*w - a. Is w less than 0.1?
True
Let h = 504 - 510. Let z be ((-9)/4)/((-132)/(-55)). Let i = -283/48 + z. Which is greater: h or i?
h
Let j(u) = 3*u + 5. Let h be j(-5). Suppose -3*l = -w + 2*l - 23, 0 = 2*w - 5*l + 31. Is h greater than or equal to w?
False
Let y = 1.3509 - 0.7509. Is -1/534 less than y?
True
Let d = -101.273 - -102.1. Let h = 0.487 - d. Let x = -3 + 2.9. Is h < x?
True
Let n = 1915 + -1924. Let h = 0.29 + 3.71. Is h less than n?
False
Let t = 382 + -378. Let v be -3*t/12*(-6)/15. Which is bigger: v or -2.43?
v
Let n(u) = -u**3 + 7*u + 33. Let r be n(0). Let x be (-398)/r + 6 + 6. Let i = -0.2 + 0.2. Is x at least as big as i?
False
Let a = 146 + -1019/7. Let f = -374 - -250. Let w be 2 + 2 + f/28. Which is bigger: w or a?
a
Let m = -0.02 + -1.98. Let w = -322 - -318. Let j be (10/(-50))/(w - -5). Which is smaller: m or j?
m
Let d = -18 - -26. Suppose 7*g + g + d = 0. Let c be 19 + 15/(-5) - (g + 3). Which is bigger: 15 or c?
15
Let f(l) = l**2 - 6*l + 32. Let w be f(13). Suppose 3*p = 3*a - 6*a + w, -4*a = -8. Let d be (p/7)/3 + -3. Is d smaller than 0?
True
Let l be -6 + 1 + (-5019)/7. Let o = 2887/4 + l. Is -0.081 at least o?
True
Let o be 8/4 - (-1128)/(-567). Let z = o + -23/189. Let y = -5/9 + z. Which is smaller: y or -1.3?
-1.3
Let u = -9259/378 + -1/189. Let r = -24 - u. Let i = 12183 + -12181. Which is bigger: i or r?
i
Let a = -19 + 5. Let o(v) = -v**2 - 25*v + 261. Let d be o(-33). Let s be (-399)/38*(-4)/d. Is s not equal to a?
False
Let g = 2197 - 2191. Do -2 and g have different values?
True
Let o = 2/260767 - -381502091/3911505. Which is greater: o or 2?
o
Let b = -167 + 166. Which is bigger: b or -1/3151?
-1/3151
Suppose -p + 134 = -5*z + 115, 0 = -5*p - 2*z + 14. Let k = 42 - 24. Let m be (-1)/(-2)*k/9. Which is bigger: p or m?
p
Let k = -5 + 7. Let x be (-23)/(-92) + 1/(8/542). Suppose 57*d = x*d. Are d and k equal?
False
Let a = 2 + 208. Let z = 211 - a. Which is smaller: z or -6/49?
-6/49
Let u = -11538 - -11384. Is u > -162?
True
Let x = -2 + 5. Let r be (14/(-4))/((-3)/(-6)). Let l be 7/(-7) + (-2 - r) + -1. Is l less than or equal to x?
True
Let a(f) = 2*f**2 + 2*f - 1. Let s be a(1). Let g be 38/34 - (-25 + 6 + -10 - -28). Which is smaller: g or s?
g
Let l = -23 - -28. Suppose 358 = 3*s + t, 2*s - 3*t = l*s - 354. Let r be 1/(-3) + 1 + (-128)/s. Is r at most 1.3?
True
Suppose -5*s = h - 6, 2*h - 4*s - s - 42 = 0. Suppose 0 = -h*v + 13 - 269. Which is smaller: -17 or v?
-17
Suppose 0 = 3*v + 3*p + 120, 3*v + 192 - 37 = 4*p. Let b = v - -76. Which is smaller: 35 or b?
b
Let j be (-21)/(-49) + (9895/(-875) - 4). Which is bigger: j or -15?
j
Let d = 538 + -17756/33. Let i(f) = 5*f + 64. Let l be i(17). Let s = -150 + l. Which is smaller: s or d?
s
Let p = -11 + 7. Let a be 20/(-5) - p - 4. Let z be a/(-18) - (1795/585 + -3). Do 1 and z have the same value?
False
Let o = -570 - -573. Suppose 14*y - 15*y - k = 7, -4*k = o*y + 22. Which is smaller: -8 or y?
-8
Let g be -52*7/(-28) - (-1 - 3). Suppose g - 13 = -2*p. Let i(y) = 2*y**3 + 5*y**2 - y - 6. Let q be i(p). Is q equal to -2/181?
False
Suppose 0 = c + 10*x - 11*x + 5790, x - 23148 = 4*c. Is c > -5787?
True
Let m = -619 + 1124. Let r = 504.9 - m. Is -0.0144 > r?
True
Suppose -5*a = o - 1 - 1, -5*a = -2*o + 4. Let k(g) = -10 + g + 31 + a*g - 5*g. Let i be k(5). Which is smaller: -1/83 or i?
-1/83
Let p(n) = 271*n**2 + 25*n + 24. Let m be p(-1). Suppose 20*a - 2*a = -m. Suppose -7 - 8 = b. Is a less than b?
False
Suppose -39890*b - 55 = -39879*b. Is b >= -186?
True
Let z = 0.003 + 2.367. Let u = z - 2.27. Which is smaller: u or -140?
-140
Let k be ((-16)/1)/4 + 12. Let s(g) be the first derivative of g**4/2 + 11*g**3/3 - 9*g**2/2 - 8*g + 69. Let x be s(-6). Which is greater: x or k?
x
Let d(z) = -3*z**3 + 2*z**2 - 8*z. Let c(g) = -g + 1. Let f(l) = -5*c(l) + d(l). Let w be f(-2). Let a = w + -25. Is a smaller than 8?
False
Let b be 1 - 23*(-2)/(-10). Let k = 18772 + -18774. Which is smaller: k or b?
b
Let z = 92040296/1261337 + 59/16381. Let t = 155 + -82. Let s = t - z. Which is smaller: s or 0?
0
Let v(a) = -a**2 - 4*a - 9. Let o be v(-7). Suppose -x - m - 32 = 0, -2 = x + 4*m + 45. Which is bigger: o or x?
x
Let u(h) be the third derivative of -5*h**4/8 - 19*h**3/6 + 32*h**2. Let t be u(-3). Let r be t/68*-1 - 1/(-2). Which is smaller: -1 or r?
-1
Let j = -41 - 293. Let b = j - -400. Is 0.1 less than or equal to b?
True
Let u be (-9)/((-22032)/2445) + -1. Let n = -2327/98736 + u. Is 1 >= n?
True
Suppose 0 = -3*g - 4*s - 289, 186 = -g - g + 4*s. Let t be (3 + (-8)/3)/(g/90). Let q = t - 8/95. Which is greater: q or -56?
q
Let n = -3011 + 3028. Which is smaller: n or 5.6?
5.6
Let r be 6/(-14) + 939324/990472. Let s = r - -3/1538. Which is smaller: s or 1?
s
Let y = -14 + 97. Suppose -8*p = -y - 45. Suppose p*b - 12*b = 0. Is b less than or equal to -2/77?
False
Let s be (1/(-4))/(((-56)/(-7))/(-64)). Suppose -17*a + 2 = s*g - 13*a, 0 = -g - 3*a. Are 26 and g equal?
False
Suppose -11*y + 14*y = -q - 78, -y = -3*q + 26. Do -128/5 and y have the same value?
False
Let g be (-301)/129*(-4)/(-462). Is g at least -1/41?
True
Suppose 3*l - 5*c + 45 = 0, -121*l + c = -114*l + 41. Are -217/50 and l unequal?
True
Let t = -1493 + 1743. Is 247 greater than or equal to t?
False
Let b(y) be the first derivative of -y**3/3 - 6*y**2 - 15*y + 81. Let c be b(-5). Which is greater: c or 18?
c
Let z = -49.931 + 50.2. Let h = 21.731 + z. Let j be 0/(1/((-2)/4)). Does h = j?
False
Let h be (-3*(-5)/(-6))/(3/6). Let w be (-12)/(-4)*-1*h/15. Are -3/151 and w unequal?
True
Suppose 3*g = 91 - 430. Let u = g - -70. Are u and -45 equal?
False
Let h = -394 - -396. Suppose 6*n - 5*i = 10*n - h, -5*n + 5 = 5*i. Is n less than or equal to 17/10?
False
Suppose 2*x = 2*o - x - 30, o - x - 15 = 0. Let t = o - 38. Let u = t + 31. Are u and 33/4 unequal?
True
Suppose 216 = 2*g - p, -16*g - 3*p + 562 = -11*g. Do 116 and g have the same value?
False
Suppose -85 + 7 = -6*t. Let x(f) = 8 + f - t - f + f. Let d be x(1). Which is greater: d or -8?
d
Let b = -8.223 + 5.663. Let m = -4 - -3.9. Is m at least as big as b?
True
Let n be -2 + (847872/105)/(-3). Let h = 3757 - 1063. Let p = h + n. Is p less than -1?
False
Let u be 3377*(6 + -7)*(-1)/1. Which is smaller: u or 3376?
3376
Let t = -108 - -113. Suppose -d + 3*g + 2 = 5*g, 0 = t*d + g - 1. Let h be 2 + 1 + (-44)/15. Which is bigger: h or d?
h
Let s be (14/(-21))/(6/(-81)) - 1. Suppose -74*h = -82*h - s. Which is greater: 1/7 or h?
1/7
Let s = 159 + -3655/23. Let d be (-48)/32*(-98)/(-3). Let x = d - -49. Does s = x?
False
Suppose t = 3*t + 6. Let r = 326 + -323.6. Let x = r + -2.4. Is x > t?
True
Let m = 0.5 + -2.5. Let f = m - -4. Suppose 4*n = 5*d - 7751 + 7798, n - 23 = 2*d. Which is bigger: f or d?
f
Let v = 0.5853 + -0.0043. Let u = -0.431 - v. Let f = -0.012 - u. Is -1/55 >= f?
False
Let v be (9/(-27)*-9 - (-13476)/(-3309)) + 1. Is v != 1?
True
Let y be 0*2/(-6) + -27. Let x be (-62)/(-10) - (-4)/(-20). Suppose -12 = j + 4*b + x, -22 = j + 2*b. Is y <= j?
True
Let q be -4 + -19*38/6*-3. Suppose -33 = -3*a - q. Do -215/2 and a have different values?
True
Let c = -312.94 - -9.94. Is c at least as big as 0.2?
False
Let h(b) = b**3 - 18*b**2 + 32*b + 32. Let y be h(16). Suppose 5*x + 8 = i, 8 = -y*x + 30*x + 2*i. Which is smaller: -2/1763 or x?
x
Suppose 543*p - 24 = -551*p + 1082*p. Let z = -7.925 + 8. Is z less than p?
True
Suppose -2*u - 1214 = -4*q, -93*q = -95*q - u + 601. Is 287 at most as big as q?
True
Let o be (272/85)/4 - (-3665)/(-175). Which is greater: o or 46?
46
Let f be (16 + -10)*((-255)/(-10) + -1). Is 144 < f?
True
Let w = 521 + -63. Let p = w + -417. Which is smaller: -2/3 or p?
-2/3
Let g be (6416/(-720) - -9)/((-2)/18*-2). Are g and 1975 equal?
False
Let h be (-2)/(74/333 + 329620/(-593262)) + -6. Is -1 not equal to h?
True
Suppose 0 = 4*k - 3*x - 16, -3*k + 3*x + 21 - 9 = 0. Let d = 6 - k. Suppose d = 4*y - 2*p, 0 = 4*y + 2*p + p + 3. Is y at least as big as -4/11?
True
Suppose 6091 = 41*g + 89608. Is g greater than -2036?
False
Let o = -1428 - -1429. Let m = -3.19 - -2.9. Let j = 0.09 + m. Do o and j have different values?
True
Let c = 386 - 430. Let r = 45 + c. Are 0 and r e