?
True
Let f = 18312 + -18311. Which is smaller: f or -1/17285?
-1/17285
Let s be 318568/48654 + (3 - 4)*-4. Let p = s - 538/51. Let t = p - 17150/15741. Which is greater: -2 or t?
t
Let t(h) = -2*h**2 - 18*h - 41. Suppose -2*j + 78 = 98. Let p be t(j). Let o = -53 - p. Is 7 at least o?
False
Let v(s) = -224*s + 7143. Let q be v(50). Which is smaller: q or -3/5?
q
Let f = 4190 - 4758. Do -1 and f have the same value?
False
Suppose 2*a = -2*a - 4*v + 12, a - 3*v = -5. Suppose -5*n + 2 = -m, 0*m - a = -4*n + m. Let j = -31 + 31.12. Which is smaller: j or n?
j
Let h = 485 - 393. Suppose 0 = 6*f - h + 1196. Is -184 at most f?
True
Let j = 1 - -4. Suppose -j*z + 7 = f, -2*f = 3*f + 5*z - 15. Let q be ((-3)/6*f)/(-15)*6. Are 0 and q equal?
False
Suppose -7*r + 26 = -12*r - 21*r. Is -4/5541 less than r?
False
Let h be 6/(-10) + 11 + 156/(-15). Let a = -0.0524 + -225.9476. Which is smaller: h or a?
a
Let x be (-1 - -1525) + 3 - 3/(-1). Let h be (-6)/10*(-2)/x*-566. Let z = h + 8/17. Which is smaller: z or 0?
0
Let b(l) = -42*l + 1305. Let n be b(32). Suppose -s + 41 = -2*s. Is n less than s?
False
Suppose 27 - 27 = s. Suppose s*i + 4 = 2*i. Suppose 2*g = -5*u - 61, -3*g + i*g + 2 = 0. Which is greater: -11 or u?
-11
Suppose -12*h + 6*h = -60. Suppose -h = -2*q + 4*q. Let n(v) = 9*v + 24. Let r be n(q). Is -23 less than or equal to r?
True
Suppose -17 = 28*h - 101. Let u be -2*(h/9 + 0)/1. Which is smaller: -5.9 or u?
-5.9
Suppose 23 = 2*p + 15. Suppose -3 - 7 = 4*o - 2*h, -31 = p*o + 5*h. Let v be (-3 + 2)/(1/7). Is v greater than o?
False
Suppose 76*h + 462 = 538*h. Let z = -1/1176 + -49379/15288. Let a = 1205/377 + z. Is h at least a?
True
Let a = 147 + -145. Suppose -a*w - 5*t = -234, -3*w + 0*t + 4*t = -397. Let n = w - 66. Is 60 > n?
False
Let f = 85 - 81. Suppose 0 = -f*u + 2*u + 4. Let l be (44/8)/(u/(-4)). Which is smaller: 3 or l?
l
Let l(w) = -5*w. Suppose 3*c = -3*m - 24, 2*m - 15 = 2*c + 3*m. Let d be l(c). Let t be (-4 - (-310)/25 - 7)/(26/650). Is d at least t?
True
Suppose 112443 = 200*l - 124557. Is 1186 less than l?
False
Let t(i) = i**3 + i**2 - i - 1. Let s be t(0). Let c be (-3239450)/87550 + (-59 - -96). Is c at least as big as s?
True
Let p be (2/(-1))/((-270)/24 + 11). Let l = p + 251. Are l and 261 nonequal?
True
Suppose -4*g - 4*h + 19 - 3 = 0, 0 = -2*h + 8. Which is bigger: g or -1/2292?
g
Suppose -4*y = -119 - 1. Suppose 14*l - 19*l + y = 0. Suppose -5*g + l*g = 3*w, -w - g = 0. Is w greater than or equal to 1/253?
False
Let d be ((-22)/30 + (-1)/(-3))*(-29)/(-109968). Which is smaller: 1 or d?
d
Suppose -18*p - 37*p - 3952 = 153*p. Which is greater: -20 or p?
p
Let x be 17/((-85)/(-15))*-3. Do x and -59/7 have different values?
True
Suppose 897*f - 904*f - 2142 = 0. Which is smaller: -303 or f?
f
Let o = -23691/1001 + 307/13. Let p be 4/16 - (-3 - (-17)/4). Is p not equal to o?
True
Suppose 7 = 3*y - 5*h, -2*y = -2*h + 4*h + 6. Let r be ((-1)/(-58))/(-14*2/8). Are r and y equal?
False
Let v = 32 - 124. Let d = v - -109. Suppose 0 = 4*b - 1 + d. Is -1 less than or equal to b?
False
Let f be 2*1674/(-1104)*6/(-561). Let t = f + -1/46. Which is greater: -1 or t?
t
Let x = 44 - -22. Let b be (-1088)/204*(664/(-64) + -2). Is x greater than b?
False
Let k(d) = d**3 - 13*d**2 - 15*d + 22. Let f be k(14). Let i be (90/f)/((-6)/4). Which is greater: -9 or i?
i
Suppose 28 = 5*w + 43. Let a be (-44)/10*(1 + 18/w). Which is smaller: 2/7 or a?
2/7
Let k be (-586)/1435 + (-1 - -1). Let p be (-445)/(-525)*3 - 3. Let a = k - p. Is 0 less than a?
True
Suppose -11*d + 7*d + 5*d = 0. Suppose d*r - 5*r - 104 = -3*t, -3*t + 97 = 2*r. Let z = 430/13 - t. Which is bigger: z or -1/15?
z
Let m = -487.804 - -487. Let c = 0.585 + m. Are 2/3 and c non-equal?
True
Let s(y) = -3*y**2 + 11*y + 7. Let b(d) = d**2 - 6*d - 4. Let c(j) = -7*b(j) - 3*s(j). Let i be c(-6). Let w be (-126)/285 + 1 - 10/i. Which is bigger: 1 or w?
1
Suppose 9*b - 6*b = -30. Let c be (-160)/48*(-10)/4. Let p = c + b. Which is bigger: -2/5 or p?
-2/5
Let u be (-3)/1 - (-176)/((-12)/6). Let g = u - -89. Let f be (-3 - g)*(-18 + 3). Is f != 16?
True
Let a = 0.26392 + -9.26392. Let b be -4*(-1 + (-3 - -3)). Is b > a?
True
Suppose 0 = v - h + 5*h - 6, 4*v = h + 92. Suppose -7674 + 6868 = -26*k. Which is smaller: v or k?
v
Let z(n) be the first derivative of -6*n**2 - 51*n - 2. Let k = -6442 - -6438. Let f be z(k). Is f at most -3?
True
Let t(k) = -70*k. Let h(u) = -67*u + 1. Let v(j) = 5*h(j) - 4*t(j). Let o be v(-1). Which is smaller: o or 62?
o
Let h be (3 - 0) + 5 + -3. Suppose 3*s - 2 = -h*y + 3, 2*y + 3*s - 2 = 0. Let n be 6/(-4) + 3 + y. Are 3 and n equal?
False
Let k be (-6 + -3)*((-8)/(-10) + 35906/(-195)). Is 1650 < k?
False
Let w(j) = 2*j**3 + 44*j**2 - 26*j - 571. Let h be w(-22). Let u = -60304/59 - -1022. Which is smaller: u or h?
u
Let q = -579.1826 - -579. Let y = 118.9174 - q. Let o = -119 + y. Which is smaller: -2/3 or o?
-2/3
Let l be (-9)/(3042/(-13))*(2 + -564). Which is bigger: -21 or l?
-21
Let p(d) = 1978*d**3 - d**2 + 4*d - 3. Let t be p(1). Is t at least 1979?
False
Let i(q) = 94*q + 3777. Let m be i(-8). Is 3025 greater than m?
False
Let i = 1 + -1.05. Let o = 414.057 + -414. Let r = -1.057 + o. Which is bigger: i or r?
i
Suppose c + 568 = 5*y, -c = -3*y - 0*c + 342. Let p = -104 + y. Suppose -p*j = -5 + 41. Which is smaller: -2 or j?
j
Let k = 740/9 - -2242/9. Let c = k + -328. Is 0 smaller than c?
True
Let s be -1*(-3)/(-9)*21. Let m be (-2080)/(-91) - 1/s. Let v be ((36 - -8) + -8)*4/6. Are v and m unequal?
True
Let h = -3 - -2. Let p(b) = -24*b**2 + 437*b - 1288. Let k be p(15). Is h < k?
False
Let n = 498.0852 + -498.2. Which is greater: n or 1?
1
Let l = -12106 + 290569/24. Is 1 equal to l?
False
Suppose -104*o = -122 + 18. Which is smaller: o or 5/352?
5/352
Suppose k = 2*k + 2*f + 147, -4*f - 439 = 3*k. Let w = k - -289/2. Is 32 less than w?
False
Let l = 361.0365 - 0.0365. Let x = 357 - l. Which is greater: x or 28?
28
Suppose 406*d - 42278 = 411*d + 4*a, 0 = -3*a + 9. Which is greater: -8457 or d?
-8457
Let w = 22352 + -22351. Is w at least as big as -12/1577?
True
Let b = -356.4 - -16.4. Let f = 341 + b. Is -87 > f?
False
Let l = 53.861 + -53.731. Let g = 9 + -9.11. Which is smaller: g or l?
g
Let m = 3076 - 3076. Are -37/522 and m unequal?
True
Let v = 25800 + -1186747/46. Is v less than or equal to 2?
True
Let f(z) = 5*z**3 - z**2 - 2*z - 1. Let l be f(-1). Let a = -1 - l. Let w(j) = 11*j**2 - 5*j + 8. Let q be w(0). Which is smaller: a or q?
a
Let y(h) = 10*h - 97. Let j be y(8). Let a(n) = -14*n + 8. Let u be a(2). Which is smaller: u or j?
u
Let w(c) = c**2 + 4*c + 18. Let u be 10/5 + (4 - 10). Let p be w(u). Is 52/3 greater than p?
False
Let y = -2406 - -2429. Is -82 < y?
True
Let c = 1544 - 2982. Is c at most as big as -1439?
False
Suppose -2*y = m - 57 - 7, 107 = 3*y - 4*m. Let z = 24 - y. Let s be 10/z*3/(-5). Which is bigger: -3/7 or s?
s
Let g be (-576 - -486) + 2*4 + -1. Which is smaller: g or -150?
-150
Let w be (-7906)/(-208) + 17442/(-459). Suppose -s + 2 = 1. Which is smaller: w or s?
w
Let h = -7 + 12. Let u be (-3164)/98 + (-1)/((-7)/2). Let c be (u/(-80))/((-2)/(-20)). Which is greater: c or h?
h
Suppose -10 = -2*z, m + 2*z - 7*z = -31. Let a be 45/(m/8 + 5/(-20)). Is 3 bigger than a?
True
Let g(d) = -218*d**3 - d**2 + 3*d - 3. Let y be g(1). Let p be (4*-1 - 873/y)/(-1). Which is greater: p or 1?
1
Let t(y) = -y**3 - 12*y**2 + 9*y - 14. Let h be t(-13). Suppose 24*z = h*z. Is -36/37 bigger than z?
False
Let m be 0 + 27 - 0 - (148 + -13)/(-15). Suppose 3*q - 5*r = 128, -4*q - 2*r = -31 - 105. Is q > m?
False
Suppose -q + h - 31 = 3*h, 0 = -3*q - 5*h - 94. Let g be 34/(-85) - q/(-5). Let y(p) = p**3 + 6*p**2 - 8*p - 15. Let r be y(g). Is r > -6?
False
Suppose -2*y = -7*y - 105. Suppose 11 = -i - 5*p, 2*i + 5*p = -12 + 5. Suppose -4*w = -h - h + 82, 0 = 4*h - i. Which is smaller: y or w?
y
Suppose 2*r - r - 4089 = 4*a, 5*r = a + 1046. Are -1020 and a equal?
False
Let g = -227/58 - -39/10. Suppose 92 = 10*u - 14*u. Let h be (-2)/(-4)*46/u. Which is greater: g or h?
g
Let h be (-27)/36 + ((-84492)/(-12560))/9. Let o = h - -791/2355. Which is smaller: o or 21?
o
Let d = -7775 + 7774.94. Is 0.0233 not equal to d?
True
Let s = -32 