: -0.1 or t?
-0.1
Let c = -7.745 - -3.544. Let u = -0.201 - c. Which is greater: u or -0.5?
u
Let j = -428 + 1278. Let o = j - 848. Is -12/47 at least as big as o?
False
Let g = 402.25 + -402. Let h = g - 0.45. Is 9/23 >= h?
True
Let s(r) = 2*r**2 + 66*r + 232. Let b be s(-29). Which is bigger: 1108 or b?
1108
Suppose 0 = 74*r - 10303 + 1429 - 376. Is 1374/11 greater than r?
False
Suppose 0 = -n + 11 - 91. Let o = n - -75. Let a be 57/o + 3 + (-39)/15. Which is bigger: a or -12?
a
Suppose -43*r + 48*r = -2*s - 3, -2*r + s + 6 = 0. Which is bigger: 11/256 or r?
r
Suppose -93*a - 120*a + 37366 = 101*a. Which is smaller: a or 184?
a
Let m = 2176.9 + -2168. Is m at least as big as 0.017?
True
Let b = 2590916/6105 - 4668/11. Which is greater: 1 or b?
1
Suppose -1007 = 628*d - 6031. Is d >= 313/46?
True
Suppose 8*w + 2 = 7*w + 3. Is 1/2567 greater than w?
False
Let l = 47 + -56.2. Let r = l + 11. Let g = -4.09 + 2.09. Is g < r?
True
Let d(u) = -2*u**2 + 44*u + 270. Let l be d(-5). Do l and 22 have different values?
True
Let g = 1/20 + -11/20. Let q = -333 - -417. Let n be 4/6 - 86/q. Is n equal to g?
False
Suppose 42488 = -15251*n + 15298*n. Is 896 <= n?
True
Let k = 9 - 6. Suppose 0 = k*c - 5 - 7. Suppose -15 = 4*u + 3*q, 2*u - 666 + 676 = -2*q. Which is greater: u or c?
c
Let j = -2610 + 2610.01. Is j greater than or equal to -0.02?
True
Suppose i + 678 = -v, 5*i = 3*i + 6. Are v and -680 non-equal?
True
Suppose -11 = -2*n - q, 39 = 2*n + n - 3*q. Suppose 0 = 3*c + n - 5. Let w = 6631 + -66311/10. Is c < w?
True
Suppose 8*x + 0*x = 24. Suppose x*d + 5*y = 33, 2*d + y = -y + 18. Suppose 2*n - 8 = -d. Which is smaller: -2/65 or n?
-2/65
Let i(c) = 173*c - 1332. Let s be i(7). Which is bigger: -81 or s?
-81
Let b be 10 - ((-1)/(-2))/(16/(-32)). Suppose -10*a + 4*r = -b*a + 35, 3*r = 2*a - 15. Are 15 and a non-equal?
False
Let k = -3473 - -3390. Let n = 0.1526 + 82.5474. Let u = k + n. Which is smaller: u or 1?
u
Let k(h) be the third derivative of -h**6/120 - h**5/60 - h**4/24 - h**3/3 + 8*h**2. Let j be k(0). Let b = 517 - 517. Which is bigger: b or j?
b
Suppose -t + 2*j + 2*j + 20 = 0, 4*j = -5*t - 20. Let k be t + 2*3/32. Let n = -7329 - -7328. Is n smaller than k?
True
Let s = 0.25 + 0.35. Let l = -9105 + 9075. Which is smaller: s or l?
l
Suppose 3*m - 22212 = 5*c, 4*c - 28*m + 32*m + 17808 = 0. Is -4447 greater than or equal to c?
False
Let f = 53 + -33. Let o be -2 + 5 - f/6. Suppose 0 = -5*r + q + 6, 3*q = -4*r + 2 - 1. Is r less than o?
False
Let u be 58/261 + 35960/(-63) - (-12)/21. Is -592 <= u?
True
Suppose 176 - 27 = -4*b - 5*c, 3*b - 4*c = -104. Suppose d + 146*v = 143*v - 54, 0 = -5*d + v - 174. Is d > b?
False
Suppose -2*s - x + 41 = 0, -2*s - 2*s = 5*x - 73. Suppose y - 508 = 5*v, 19*v - 5*y = s*v + 288. Which is smaller: v or -100?
v
Let o = -126 - -174. Let f be (-20)/(-250)*(-5)/o. Which is bigger: 0 or f?
0
Suppose 0*v = 2*v - 6. Suppose -4*d - 18 = -o, 0*d + 7 = 4*o - v*d. Let f be 1*(o + 0 + 16). Is f bigger than 2?
True
Suppose -2 - 38 = 4*b. Let l(r) = r**2 + 15*r + 14. Let k be l(b). Is k less than -36?
False
Let g be -9*(3/33 - (-1622912)/(-2112)). Do 6915 and g have different values?
False
Let r = -1933.1 + 1929.1. Are -1659 and r nonequal?
True
Suppose 3*s = 9 + 15. Let g(r) be the second derivative of -r**5/20 + 2*r**4/3 - r**3/3 + 5*r**2 + 2*r - 105. Let f be g(s). Which is bigger: -8 or f?
f
Let t be (280/(-4200))/(2/10632). Which is bigger: t or -354?
-354
Suppose -418 + 3058 = 26*s + 22*s. Is s less than or equal to 82?
True
Let y(m) = m**3 - 8*m**2 + 6*m + 4. Let j be y(7). Let u be 622/(-4) + (-5)/(-30)*j. Let n be ((-1)/((-165)/u))/(2/(-5)). Which is greater: n or 2?
n
Let a = -427 + 683. Let q = 1025/4 - a. Is q at most as big as 22?
True
Let m = -249.6 - -245.6. Which is smaller: 638 or m?
m
Suppose 2*j + 6 = -a, j - 15 = 8*a - 13*a. Suppose a*q + 465 = 169. Which is greater: -75 or q?
q
Let p = -4545 - -4558. Which is greater: 185/14 or p?
185/14
Let y(i) = -i**3 + 6*i**2 - 7*i - 2. Let l be y(3). Let j be (-2*(-1)/l)/((-4)/(-8)). Let t = -70/3 - -349/15. Which is smaller: t or j?
t
Suppose -17*j = -2*l - 13, -4*j - 28*l = -25*l - 10. Which is smaller: j or 2/22793?
2/22793
Let t = 276 - 403. Suppose 0 = 164*n + 17567 - 6999 + 9932. Is n less than t?
False
Let n(i) = -73*i + 1029. Let r be n(14). Is r less than or equal to 332?
True
Suppose 0*x - 84 = 6*x. Let q be (-38 - -35)/(1 + 8/x). Let b be ((0/(-3))/(-1) - 2) + 1. Are q and b equal?
False
Let r = -135.6 + 1.8. Let x = r + 133. Which is greater: x or -2/3?
-2/3
Let n be (-447)/2460 + 2*(-1)/(-10). Let r = 231340 - 1100253117/4756. Let j = n - r. Is j at most 1/3?
True
Suppose -290*s + 309*s = 0. Let c be ((-3)/(-4))/(126/(-84))*s. Let o be (-2)/(-10) - 49/195. Which is smaller: c or o?
o
Suppose 5*y + 2*p = 126, -16*p = -y - 17*p + 27. Suppose 24 = -2*s + y. Is s greater than or equal to -2/193?
True
Suppose 3*y = -2*y + 30. Let j be ((-12)/(-9) + -1)/(y/90). Suppose -6 = 3*q + o, 4*q + j*o + 11 = -8. Which is greater: -2/7 or q?
-2/7
Suppose 0 = -4*v + 16, 0 = 5*j - 0*v + 2*v - 108. Suppose -p - j = p. Let i be (-153)/(-51)*(-4)/24. Which is bigger: i or p?
i
Let x = -17116/18104881 - -6/4243. Is x > 1?
False
Let q = -72052/88539335 - 1/25189. Which is greater: 1 or q?
1
Let y = -325 - -330. Suppose -h - 3 = y*f, 0 = f - 11*h + 14*h + 9. Which is smaller: f or 2/435?
f
Suppose 10*r + a - 4 = 12*r, 0 = 4*a + 16. Let p(n) = -5*n + 18. Let x be p(8). Let d be (1 - 0)*55/x. Which is bigger: r or d?
d
Suppose -3*o + 141*o = 13*o + 121125. Which is greater: 962 or o?
o
Let k = -0.02162 - -200.72162. Let o = 201 - k. Which is smaller: -1.9 or o?
-1.9
Suppose 2*n = 3*z + 76, -4*n + 6*n = -3*z - 56. Let m be z*(27/6 + -5). Let x = -0.04 - -0.02. Which is smaller: m or x?
x
Let h = 101.3579 + -101.59. Which is bigger: 3/2 or h?
3/2
Suppose 5*r + 2*f = 1 - 4, -5*r - 15 = 5*f. Let n be (2 - 2)/(3 - (r + 4)). Which is smaller: n or -19?
-19
Let u be (7/(-35))/((-2)/305). Let d = u - 371/12. Suppose -5*v - 1 = -0*p + p, 2*v + p - 2 = 0. Which is smaller: v or d?
v
Let t = 30.019 + -0.019. Let i = 3 - t. Let h = 30 + i. Are 4 and h unequal?
True
Let t be 5*(8/(-40) + (-2)/5). Let d be t/(-27)*-6*(-3)/(-17). Suppose -m = 6*g - 4*g - 9, 3*m + 13 = 4*g. Are d and m nonequal?
True
Let f = -2/1013 + 233016/13169. Which is bigger: 17 or f?
f
Let n = -12/7 - 54/7. Let g = -512750964/175 - -2929996. Let r = g - n. Which is smaller: r or -3?
-3
Let h = 5518 + -5276.9. Let k = h + -240. Which is bigger: -4/3 or k?
k
Let g be 187/748 + 1 + 415/4. Suppose 0 = 39*b - 40*b - g. Is -105 > b?
False
Suppose -2*d = 4*j + 130, -3*j - 17 = -3*d - 212. Let p = 69 + d. Which is bigger: 0.78 or p?
p
Let z be (30/6)/((-2)/(-18)). Suppose -3 = -2*c + z. Let v = 19582/3 - 6503. Which is bigger: c or v?
v
Let r(u) = 2*u**3 + 104*u**2 + 292*u - 97. Let q be r(-49). Do -2/7623 and q have the same value?
False
Let d = 14257 - 57029/4. Which is smaller: 0.1276 or d?
d
Let i = 486.2 - 886.1. Let m = -400 - i. Does m = 20?
False
Suppose -45 = 5*r - 0*r - 5*k, 2*r = 5*k - 6. Let o be (-318)/53 + 7*3. Let f = r + o. Is 13/4 at most f?
False
Suppose -i - 494 = j + 1543, -5*i + 4*j - 10167 = 0. Which is smaller: i or -2034?
i
Let m = 982 + -532. Let c be 450/((-5)/(-3 - 2)). Is m < c?
False
Let k = -0.00892 - 0.20008. Is -41 >= k?
False
Let k(t) = -t**3 + 7*t**2 + 3*t - 2. Let y be k(7). Let w = 18 - y. Let q = -301/54 - -11/2. Which is smaller: w or q?
w
Let o = 189/41 - 23/5. Let p be 1065/4100 + (-4)/(-8). Let z = p - o. Which is bigger: z or 2?
2
Let i(r) = -r**2 - 2*r - 1. Let k be (-14)/(-3) - -6*6/(-54). Suppose 2*a = -2*a - k. Let p be i(a). Does p = -2/155?
False
Let w(c) = 15*c**2 - 261*c - 20. Let r be w(15). Is r less than or equal to -571?
False
Suppose -m + 3 + 1 = 0. Let p = -44 - -46. Suppose 2*n - 6 = -p. Is n less than or equal to m?
True
Let g = 3647 - 2928. Is g at least 2879/4?
False
Let q = 1406 - 1405. Is 112/163 greater than q?
False
Let t be (-1686326)/405960 - 1/(-12). Which is greater: t or -5?
t
Suppose 3*m = 5*b - b - 9, 0 = -4*b - 3*m - 9. Let v be (684/(-309))/(1570/(-13)). Let j = 16/515 - v. Which is smaller: b or j?
b
Let r be -3 + 21/(-51) - -2. Let t(v) = 112*v + 67