is bigger: -33/31 or g?
-33/31
Suppose 23*x = -14*x - 740. Which is smaller: x or -15?
x
Let i be -5*8/(-20) + 12417/(-6486). Let n = 3/47 - i. Are -1 and n nonequal?
True
Suppose 6*d - 179 = 13. Let x = -31 + d. Which is bigger: x or 30/13?
30/13
Let m = 1 + -1.3. Let j = 306/245 + 326/2205. Let f = j - 10/9. Which is smaller: f or m?
m
Let x be (-3)/(7 - 1)*-4. Suppose 6 = -2*g + x. Which is greater: -17 or g?
g
Let k be (-28)/(-3)*40/200. Which is greater: 2 or k?
2
Let g be (-6)/(-21) + (-216004)/(-154). Let u = 1404 - g. Is 2 > u?
True
Let y(h) = 9*h - 4 + 3*h - 11*h. Let m be y(8). Suppose -m*u + v - 4*v + 14 = 0, 8 = 4*v. Which is smaller: u or 1?
1
Let t be (-2)/(-3)*(-123)/2. Let d = t + 65. Do -1/4 and d have different values?
True
Let c = -11.32 - 0.68. Let t = -26 - -26.08. Let r = 0.18 - t. Is c greater than r?
False
Let x = -3.7 - 3.3. Let w = -9 - x. Let s = 7 - 7. Which is smaller: w or s?
w
Let a(d) = -d**3 + 10*d**2 + 22*d + 17. Let m be a(12). Which is smaller: m or -200/29?
m
Let x = 2.32 + -6.32. Which is smaller: x or 2?
x
Suppose 0 = -26*d + 25*d - 1. Let s = 0.7 + -1.9. Let k = 0.2 + s. Is d != k?
False
Suppose 0*d - 5*q = -5*d, 3*d + 5*q = 32. Suppose d*k - 5*m = 3, -10 = -5*k + 8*m - 3*m. Do 7 and k have the same value?
True
Let j = -6 + 8. Let a(l) = l**2 - 3*l - 23. Let h be a(-4). Suppose j*v + v + 17 = x, h*v = 5*x - 35. Is 0 < x?
True
Let n = -172 + 8943/52. Is 0 > n?
True
Suppose 3*c + 113 = 11. Let b(f) = -f**3 + 5*f**2 + 2*f - 10. Let g be b(6). Is c greater than or equal to g?
True
Let l = 3.74 - 5.74. Is 4/23 at most as big as l?
False
Let o = -403/1876 + 12/67. Do o and -1 have the same value?
False
Suppose 0 = 6*c + 157 + 11. Which is smaller: -27 or c?
c
Suppose -872 = -17*n + 845. Which is smaller: n or 107?
n
Let h = 108 + -1723/16. Let w be -1*(-7 - -3) - 3. Is h less than or equal to w?
True
Suppose 0 = 4*a - 31 - 25. Let m be 9/6*36*(0 + 1). Let h = m + -39. Is a bigger than h?
False
Suppose -2*q + 18 = 4*v, -82 = -3*q + 2*v + 3*v. Suppose 21 = y - q. Do 40 and y have the same value?
True
Let s be (-6)/27 - 872/(-36). Suppose 0 = -4*y + 12, -46 = -2*n + 2*y. Which is smaller: s or n?
s
Let w be ((6/(-12))/(-1))/(3/(-60)). Do w and -8 have different values?
True
Let g = 4 + -6. Let u be (-91)/(-65) + (-9)/(-15). Suppose -a = x - u*a, -a = -2*x. Which is smaller: g or x?
g
Let x = 599 + -598.9. Do 0.02 and x have different values?
True
Let u = -61 + 50. Let r(m) = -10*m**2 - 2*m + 1. Let k be r(1). Let i = k - u. Which is bigger: i or -2/29?
i
Let d = 9.69 - 0.69. Which is greater: -3 or d?
d
Suppose 2*m + 64 = -2*r, m + 5*r = -36 - 0. Which is smaller: -1/2 or m?
m
Let y = -657 + 674. Is y at most 29?
True
Let g = -5480/9 - -610. Let c = 916844/45 - 20373. Let r = c - g. Which is smaller: r or 1?
r
Let n be (120/18)/(-5) + (-36)/(-27). Is -1453 >= n?
False
Let i be (-2673)/3652 - ((-10)/(-8) + -2). Which is bigger: i or 0?
i
Let x = 35 + -34. Let q be (13/975)/(1/x). Let n = q + -157/525. Which is greater: n or 2/11?
2/11
Let k = -8.7 - -45.7. Let u = k + -41.1. Let m = u - -4. Which is bigger: m or 0?
0
Suppose -3*i + 4 = h, -3*h + 0*h - 16 = -5*i. Suppose -4*n - 52 = -12. Let l be 2/4*120/n. Which is smaller: l or h?
l
Suppose -o - 4 = r - 9, -3*o = r - 9. Let i = -31.92 + 32. Which is greater: r or i?
r
Let o be (-2 - 84/(-35))*4. Suppose 6*q - 16 = 2*q. Suppose 0 = -g - 3*h + 18, 0 = -0*g - q*g + 5*h - 13. Is o less than g?
True
Let k = -2190.2 - -2190. Do k and 640 have different values?
True
Let i = -4 + 10. Let w be i/(-15) + 18/70. Let b be (-5)/5*(-1)/(-3). Is b equal to w?
False
Let n be 2/((-12)/3)*14. Is n != -1/31?
True
Let g = -343 - -762. Which is smaller: g or 418?
418
Let l be (-397)/1005 + (-6)/(-15). Is 0 less than l?
True
Suppose 3*s + 5*p + 163 = 0, 69 = -5*s + p - 156. Is s equal to -45?
False
Suppose 3*g = 2*m + 7, -5*m + 2 + 3 = -3*g. Suppose j - m*w - 8 = 5*j, -5*w = -3*j - 46. Let i(s) = s**3 + 7*s**2 + 2*s + 6. Let l be i(j). Is l less than -9?
False
Suppose 0 = -l + 3*l. Suppose -n + 3*b + 24 = -l*b, 0 = 2*b. Suppose -4*g + n = 4*i - 0*i, 16 = 2*i + 3*g. Is 1 <= i?
True
Suppose -3*h + 2 = -1. Let d be (-2)/h - 0/2. Let i(k) = -k**2 - 218*k - 646. Let n be i(-3). Which is greater: d or n?
n
Let g = 9 - 6. Suppose 5*c + 4*w = 2, -2*w + 3*w - g = 0. Which is smaller: 0.3 or c?
c
Let t = -1.6 - -1.5. Let m = -0.352 + 0.3. Which is smaller: m or t?
t
Let d = 107.3 - 107. Is d at least 0.8?
False
Suppose 2*v = 4*w + 8, -5*w - 7 = -3*v + 5. Let n be (w/(-2))/(2 + -3). Is n at least as big as -2/23?
True
Let y = -14448/11 - -14202406/10813. Let m = y - -913/34405. Is m bigger than 0?
True
Let a = 567354/41 + -13838. Let m be (0 + 0)/(4 - 2). Which is bigger: a or m?
m
Let w(i) = i**3 - 3*i**2 - 18*i - 5. Let c be w(5). Which is bigger: -231/5 or c?
c
Let o be (84/(-15) + 0)*5. Let y be ((-21)/o)/(30/(-16)). Is -2/19 != y?
True
Let d = -106 - -107. Which is smaller: 2/87 or d?
2/87
Suppose 12*o - 50 = 7*o. Suppose -y - 18 = 4*r, o = -2*r - 0. Let t be ((0/2)/(-4))/y. Which is bigger: t or 6/11?
6/11
Let a = -428318340 - -902895042291/2108. Let q = a - 4/527. Do q and -10 have the same value?
False
Let m = 0.01 - -0.05. Let o = -307.7 + 308. Is o less than m?
False
Suppose -12*v - 14*v - 286 = 0. Suppose 3*l + 5*n + 59 = 0, -4*l - 4*n = 24 + 44. Is v <= l?
False
Suppose 2*g - g = 0. Suppose 6 - 2 = 2*i. Let m be 21/(-18) + (3 - i). Are m and g non-equal?
True
Let a = -5 - -1. Let c = -3.91 - a. Let l = c - 0.06. Which is bigger: l or -1/2?
l
Suppose -46 = 5*w - 61. Let g be ((-20)/(-110))/(2/3*w). Which is smaller: g or 1?
g
Let k be 132/(-24)*(-80)/(-76). Does -5 = k?
False
Let z(h) = -h**2 + 4*h + 266. Let k be z(0). Which is bigger: 1069/4 or k?
1069/4
Let w be (-6 - -1) + (-3)/(-1). Let b be (w/6)/((-1)/9). Let d(z) = 3*z**3 - z**2 + z - 1. Let j be d(1). Which is smaller: b or j?
j
Let q be 123/4 - 2/(-8). Let b be -5*q*(-8 - -9). Let p be 6/39 - b/(-585). Which is bigger: -1 or p?
p
Suppose -17*k + k = 32. Are -16 and k non-equal?
True
Let t(j) = 2*j - 4. Let i be t(4). Let v = 1959/5 - 389. Which is bigger: v or i?
i
Let w be (12/14)/(464/(-2030)). Which is greater: 0.13 or w?
0.13
Let y = 33746/57 - 592. Is 0.1 at most y?
False
Let w(l) = -l + 5. Let k be w(-6). Let b(t) = -2*t + 1 - k - 2 + 0. Let v be b(-6). Which is greater: -3/11 or v?
v
Let m = 24.3 + -1564.3. Is -0.1 < m?
False
Let i = 4 + 8. Let m be i/4*(-1)/(-3). Let h be (6 - (11 - 5))/(-6). Which is smaller: h or m?
h
Let z be (3 + (-44)/8 - -2) + 1. Let w = 2.55 - 0.15. Let o = -0.4 + w. Is o > z?
True
Suppose -p + 5*x = -576, 600 = p - x + 2*x. Is p at least 596?
True
Let t = 269 - 286. Is t at least as big as -53/3?
True
Suppose -2*a + 0*a = 0. Let k be (0 + a - -4) + -4. Let z = -4 + 3. Which is smaller: k or z?
z
Suppose -h = 2*w - 5, -h + 6 = -4*w + 1. Suppose w = 4*f - f - 18. Which is smaller: f or 1/3?
1/3
Let t be 0/(-15 - 2) + 13/55. Which is smaller: t or -1?
-1
Let s be (2/3)/((-50)/(-825)). Suppose -4*l + 18 = -2*l. Which is smaller: s or l?
l
Let s = -222 + 121. Are -101 and s nonequal?
False
Let u = 5.7 - 6.7. Let s = u + 0.4. Which is greater: s or 0.4?
0.4
Let y be ((-117)/255)/1 + 2/5. Let i be (-15)/17*3/(-6). Let f = i - y. Which is smaller: 0 or f?
0
Let r = 0.464 - 0.664. Is r != -23?
True
Suppose 0 = 2*i - 21 - 7. Let g(a) = -a**3 + 8*a**2 - 9*a - 5. Let w be g(6). Let l = i - w. Is l at least -2?
True
Let u(x) = -x**3 + 28*x**2 - 51*x - 9. Let n be u(26). Which is smaller: n or 129/7?
n
Let u = -1175 - -1114. Which is bigger: u or -0.1?
-0.1
Let b be 13*(-4)/(-20) - (-8)/20. Let q be (1/(-1))/((-3)/(-8)). Let t = b + q. Is -1 > t?
False
Suppose -3*l + 0*a - 16 = -2*a, -4*l - 5*a - 29 = 0. Let n be (8 + l)*(-3)/(-14). Suppose 3*o + 9 = 3. Is o greater than or equal to n?
False
Suppose -2*p + 8*p = -840. Let q be p/(-5) + -1 + 2. Let z = -40 + q. Which is smaller: z or -10?
z
Let w be 8/144*(-74)/(-20). Let p = 13/20 - w. Which is smaller: 0 or p?
0
Let b be -4 + (-108)/(-28) - (-67)/665. Is b not equal to 0?
True
Suppose 4*s = 5*x + 12, -4*x - 14 = -4*s - 6. Let y(r) = r**3 + 3*r**2 + 4*r + 2. Let h be y(s). Let p be h - 4*12/(-21). Which is greater: 1 or p?
1
Suppose 0 = 3*w - 6*w - 3.