
False
Let u = 31.076 - 0.076. Let y = u + -31. Let l be (-16)/(-32)*(1 - -151). Which is smaller: l or y?
y
Let z = -58.74 - -1.74. Let g = z + 57.22. Which is greater: -1/3 or g?
g
Let t = 1/2908551 - -2779511/375319421040. Let c = -96341267/387120 + t. Let q = 249 + c. Is q < 1?
True
Let g = 331 + -288. Let x be (-1)/17*g/645. Is x >= 1?
False
Let x = 1682 + -1682.2. Is 0.0612 less than x?
False
Let i = -6460 + 6460. Which is greater: -0.05582 or i?
i
Let q = -2 - -1. Let b be 16/4362*528/704*(-4 - -5). Are b and q unequal?
True
Let j = -3485453/7 - -496906. Let c = 1018 + j. Which is bigger: c or 2?
c
Let b be 7 - (4 + -6) - (3 - 6). Let c be (14/((-28)/(-6)))/b. Let h = -4.5 - -0.9. Is h smaller than c?
True
Let b(l) = 57*l**2 + l + 1. Let m be b(-1). Suppose 3*q - 8*q + 117 = 4*q. Let w = m - q. Is w at least 43?
True
Suppose -6*q + 0 - 12 = 0. Let g be (-75 - q)/(4/(-4)). Suppose 2*l = 41 - g. Which is smaller: l or -15?
l
Let g = 169 + -261. Is g != -100?
True
Let d be ((-2)/(-6))/((-1)/6). Let r be (0 + d)/1 + 0 + 2. Suppose 0 = -r*b + 3*b - 114. Which is greater: 37 or b?
b
Let v = 0.2 + -0.3. Let y = -7998635/161 - -347764/7. Is v greater than y?
True
Let o be (8/(-2))/(-4) + 0. Let z be 1/o*(0 + -2). Let w be (z/(-8))/(39/84). Is w < 2?
True
Suppose -2*x + 0*z + 36 = -2*z, 5*x - 50 = -3*z. Suppose -3*r + 3*q = 42, 2*r = -4*q - x - 9. Which is bigger: r or 3?
3
Let w = -2707.7643 - 0.2357. Let d = 2704.314 + w. Let k = 0.014 - d. Is 2/3 greater than or equal to k?
False
Let c = 45/68 - 271/204. Let w = 58 + -59. Is w > c?
False
Let q = 0.5 - 0.92. Which is smaller: q or 101/4?
q
Let x = 0.038951 - -131.961049. Let r be ((-9)/5)/(-3) + -1. Is r bigger than x?
False
Suppose 164*x - 2 = 163*x, -x + 2 = 4*v. Let b be ((-1)/(-1))/(129/8). Is b not equal to v?
True
Suppose 0 = 5*m + 5, 12*w - 7163 = -59*m + 58*m. Which is greater: 19 or w?
w
Suppose 0 = 12*j - 83 - 73. Suppose -84 = 10*v - j*v. Let n be 14/(-12) + (3 - -4)/v. Which is smaller: 0 or n?
n
Let q(z) = -1872*z - 4734. Let g be q(-6). Which is greater: -2 or g?
g
Let d = -27 - -25. Let g = 12 + d. Let h = -9.9 + g. Is h > 5/8?
False
Suppose 0*m + 6 = -2*m. Let l(c) be the third derivative of -c**4/12 - 5*c**2. Let w be l(m). Do 9 and w have the same value?
False
Suppose t = 5*w - 18, 3*w - 9 = t + 1. Let z be 83/(-4 + 1 + t). Which is bigger: z or -2/5?
-2/5
Suppose -86*m + 85*m - w + 196 = 0, -3*m + 3*w = -606. Let c = -0.4 - -0.5. Which is smaller: c or m?
c
Suppose 151*j - 165*j = -280. Let g be j/(-70)*35/5. Which is bigger: -1/8 or g?
-1/8
Let f(x) = 172*x - 218. Let d be f(5). Which is smaller: 640 or d?
640
Let h = 1991 + -1818. Let s = 0.24 + -0.34. Is s >= h?
False
Let n = -1.8533 - -1.5633. Is 32.5 at least as big as n?
True
Suppose 4*s + 3*h = 373, 3*h - 460 = -5*s - 2*h. Let z = s + -95. Let o(c) = -c**2 - 10*c - 7. Let w be o(-9). Is z at most w?
True
Suppose 0 = 5*o - 25, -3*u + 12 + 25 = 2*o. Suppose -4*c - 2*g = -8, c - 31*g + 30*g = 5. Let s be 6*(26/u - c). Is s < -2?
False
Suppose -u - 2*u - 291 = -0*u. Do -583/6 and u have different values?
True
Let f = -10706.19 + 10706. Which is smaller: 711 or f?
f
Let k = -159/8938 + 1/654. Let p(j) = 45*j - 2. Let n be p(12). Let q = -539 + n. Is q less than k?
True
Suppose -38*d - 48*d = -88*d. Suppose d = -3*b + 4*f - 25 - 42, 4*f - 16 = 0. Is b at most as big as -15?
True
Let g be 456/42 - (-240)/112. Which is smaller: g or -3/31?
-3/31
Let s = -9869 - 1493. Is s less than -11363?
False
Suppose 287 - 71 = 12*x. Which is greater: 316/17 or x?
316/17
Let u = 29 + -28. Let d be 344/(-1200) + u/6. Suppose -n = 4*n - 5*s + 20, 3*s = -4*n + 19. Is d at most n?
True
Suppose -54 = -7*h - 26. Suppose 4*r + 0*r = 2*p + 138, -2*r + 252 = -h*p. Is p smaller than -61?
False
Let i = 6772 - 6765. Is i <= 5?
False
Let t(w) = w**3 + 16*w**2 - w - 15. Suppose -4*o + 47 = 3*s, -2*s = -3*o + 7 + 7. Suppose 0 = 3*r + 56 - o. Let z be t(r). Is z less than 1/54?
False
Suppose 217 = -4*b + 57. Let n be (-196)/6 - 5 - (7 - (7 + -2)). Which is smaller: n or b?
b
Let b be ((-439490)/(-55) + 0)*(-7)/14. Let m = b + 3991. Which is bigger: -3 or m?
-3
Let d = 1169095/331 + -3532. Which is greater: d or -1?
d
Let q be (-95697)/490 + 15/(-2). Is -0.2 at least q?
True
Let z(c) = 2*c. Let x be z(12). Let q be 94/6 + x/(-36). Suppose -k + q = -2*w, 0*w = 2*w - 5*k + 27. Which is smaller: -5 or w?
w
Let z be (1080/(-864))/((-5)/12). Which is smaller: 95 or z?
z
Let b = 66 + -66.2. Let u = 530 + -469. Is b less than u?
True
Let z = -943589/28 - -33713. Which is smaller: z or 12?
12
Let h(l) = l**2 + 10*l + 1. Let i be h(0). Let y = -2645/3 - -901. Let x = y + -1810/93. Which is smaller: x or i?
x
Let w = 1016 - 973. Are 50 and w equal?
False
Let l = -3633.3 + 3633. Are 0.0398 and l equal?
False
Suppose 4*u - 2*u - 58 = 0. Let z be 69/(-345) + 31*(-1)/(-5). Suppose -z*g = 109 + u. Which is smaller: -22 or g?
g
Suppose -32760 = 12*d - 4*d - 22*d. Are 2341 and d non-equal?
True
Suppose 2*b - 5*x + 235 = 3*b, -3*x + 645 = 3*b. Let f = b - 177. Is f <= 23?
False
Suppose 9852 - 10667 = -32*v - 70607. Is v less than or equal to -2181?
True
Let n be (-10)/(-4)*(126/21 - -696). Is 1751 at least n?
False
Let x(b) = -b**3 + b**2 + 27*b - 104. Let w be x(4). Is -13 at least as big as w?
True
Suppose 0 = -11*q + 8*q + 3*r, 3*q = -2*r + 15. Let n(j) = -1 + j**2 - 2*j - 4*j + 3*j. Let b be n(q). Are 3/14 and b nonequal?
True
Let d(l) = 2*l + 2. Let p = 48 - 48. Let g be d(p). Suppose -17*m = -19*m - g. Is -2 equal to m?
False
Let h(w) = w**2 + 2. Let n be h(-2). Suppose 5*c - 6 + n = 0. Let q(v) = -v**2 - 2*v + 3. Let k be q(c). Are k and 4 non-equal?
True
Suppose 98 = -4*r + 98. Suppose r = -31*l + 26*l. Suppose l = -10*p - 28 - 92. Which is bigger: p or -10?
-10
Let y = 396.1 + -396. Let l = 35 - 36.36. Which is smaller: l or y?
l
Suppose -37 = -4*h + 3*s - 6*s, 0 = -2*h + 3*s + 41. Suppose f = h - 2. Suppose 4*z - 24 = -2*a - 0*z, -3*a + 35 = 5*z. Is f less than a?
False
Let v = 0.115 - -45.385. Let l = v - -6.5. Let y = l - 29. Which is smaller: y or 0.1?
0.1
Let j be ((-2635)/(-1870))/(-1 - (-16)/18). Let x = 511/88 + j. Which is greater: x or -6?
-6
Let l be ((-20)/(-50) + 44/(-10))/(-1). Let x be (30 + -34)/((l/(-53))/(-2)). Is -105 equal to x?
False
Suppose 0 = -162*c + 161*c + 26. Suppose -20*l = 6*l - c. Are l and 17/9 nonequal?
True
Suppose -7*v + 12782 - 2492 = 0. Suppose 28*r + v = 7*r. Is -71 > r?
False
Let a(n) = 29*n + 41. Let m(o) = -147*o - 203. Let l(i) = 21*a(i) + 4*m(i). Let k be l(-2). Let p be (9/(-3))/((-3)/8). Which is greater: k or p?
p
Suppose 2*j = -8, 4*y + y - 200 = 5*j. Suppose 5*f - y = 34. Is f >= 16?
False
Suppose 0 = 5*y + 5, r = 622*y - 627*y - 81. Which is greater: r or -64?
-64
Let f = 452 + -451.793. Let j = f - 0.307. Which is smaller: -102 or j?
-102
Let f be (1 + 8)*(11 + -1 + -5). Let l be (-15)/171 - 15/f. Which is smaller: l or -1?
-1
Suppose -525 = -2*i - 3*h, -i - 3*h + 264 = -2*h. Suppose -62 = 7*l + i. Are l and -48 nonequal?
True
Let b be -32 + 20*28/70. Is b greater than 62?
False
Let a = -1659 + 1657.85. Let p = 3 + -3.2. Which is greater: a or p?
p
Let h be 12/((-344)/(-16) - 14) + (-6)/10. Do h and 8132 have the same value?
False
Let h(m) = m**2 + 53*m - 349. Let x be h(-27). Is x < -1052?
False
Let v(h) = -h + 3. Suppose n = -3*c + 21, 0*n + 3*c = 4*n - 9. Let f be v(n). Let r = 1452 - 1448. Is r smaller than f?
False
Let y = 2848 - 90. Is y not equal to 2?
True
Let w be 952/10*(5 + 232/(-32))*(-430)/(-387). Let t(d) = 5*d**3 + 4*d**2 - 6*d - 4. Let j be t(-4). Is w not equal to j?
True
Let g = -45.121002 - -0.184402. Let r = 0.0634 - g. Suppose 2*q - 4 + 0 = 0. Is q at most as big as r?
True
Let u = 4117.547 + -13.547. Is 3 at least u?
False
Suppose 3 = 3*j, 54*v - 58*v = -5*j - 191. Which is smaller: v or -0.029?
-0.029
Let q = 161.8 + 1063.2. Is q > -5?
True
Suppose -124 = -5*a + 21. Suppose -u = 34 - a. Let k be -13*((u - 0) + 4). Which is smaller: -1 or k?
-1
Let t = 2999.2 - 2988.2. Is -614 greater than t?
False
Let y be -3 - 0 - (-2 - 32/(-8)). Let j(m) = m**2 + 9*m + 8. Let n be j(-8). Does n = y?
False
Suppose 0 = 3*r - 5*d - 126, -3*r + 166 = 5*d + 40. Suppose -91*z + r = -90*z. Let a be z*1 - (3 + 