9 - -0.019. Which is smaller: 1/3 or h?
h
Suppose p - 9 = 4*p + 2*g, -16 = p + 5*g. Suppose -140 = 5*q - 20. Let r be 10/q + (-3)/12. Is r at least p?
True
Let i be (10 - (3 + 8))*0. Which is greater: -2/89 or i?
i
Let r(x) = -x**3 + x**2 - x. Let y be r(2). Let g be (1 + -3)*(-3)/y. Let m = 2 + g. Which is bigger: m or 3?
3
Suppose 3752 - 3708 = 11*a. Let q be 6 - 2 - 1/1. Which is bigger: q or a?
a
Let l = -629 + 631. Let o = 0 - 0. Let k = o + -0.5. Which is bigger: l or k?
l
Let t = 251849/12075 - -1/12075. Do t and 20 have the same value?
False
Let i(b) = 19*b + 1. Let y be i(2). Is 40 greater than y?
True
Let o be 4*((-5)/(-1) + 1). Let h be 36/27 + (52/(-24) - (-7)/21). Which is smaller: h or o?
h
Suppose -5*w - 2 + 5 = 3*r, -w = 4*r - 4. Suppose 2*t + 2*t - 780 = 0. Let o be 4/26 + 204/t. Which is bigger: w or o?
o
Let a = -0.17 - -0.07. Let b = -0.92 + 1. Are a and b nonequal?
True
Let p be -2 - (-2)/(1 + 1). Let m(q) = q**3 - 12*q**2 + 12*q + 3. Let t be m(11). Let s be 14/49*t/(-18). Is s at most as big as p?
False
Let r(b) = -b**3 - 14*b**2 - 15*b - 19. Let u be r(-13). Suppose -3*s - 16 = -u*s. Suppose -2 = 3*g + s. Is g at least -3?
True
Suppose -6*t + 15 = -21. Suppose 5*b = t + 14. Is b <= -1?
False
Let z = 380938/69 - 5521. Is z not equal to 1?
True
Suppose 21*b - 23*b - 20 = 0. Which is smaller: -18 or b?
-18
Let l be 884/(-440) + 7 + -5. Which is greater: l or 1?
1
Let t be -9 - (-399)/45 - (-346)/(-6). Is t > -59?
True
Let r = 5 + -5.2. Let d = 0.1412 - 0.0212. Do r and d have the same value?
False
Let z = -12724/42735 - -1/8140. Let n = -695/492 - -34/41. Let q = z - n. Is q < 1?
True
Let a = -124 - -61. Which is smaller: a or -61?
a
Let l(s) = -33*s + 59. Let p be l(2). Is -7 at most p?
True
Let t be 24/20*30/(-81). Suppose 3 = -10*a + 5*a + m, 0 = -2*a + 5*m + 8. Is a >= t?
False
Let j = -319 + 328. Does -12 = j?
False
Let q(p) = -146*p - 110. Let u be q(-2). Which is bigger: u or 178?
u
Let b = -2404.98 + 2500. Let g = b - 95. Is 1 less than g?
False
Suppose 3*u = -11*u - 1120. Which is smaller: u or -79?
u
Let l be 96/(-9)*(-1122)/177816. Let u = l + -2/717. Is u at least 0?
True
Let v be ((-26)/(-15))/(162/1890). Does 21 = v?
False
Suppose 4 = -3*v - 20. Let c be 506/69 + v/6. Let r be c/(-9) - (-5)/(-15). Is 4/27 smaller than r?
False
Let s = 47152/11 + -4292. Suppose -4*d = d + 25. Which is bigger: s or d?
d
Suppose 0 = 2*r + 3*o - 2 - 7, 2*o = 5*r - 13. Which is bigger: r or 19/10?
r
Let a(k) = -k + 1. Let z be a(1). Suppose z = 3*r - 10 - 14. Suppose 6*j - 10*j - r = 0. Which is smaller: j or -0.1?
j
Let w(u) = -203*u + 342. Let g be w(-3). Is -1/4 > g?
False
Suppose -1 = 5*v - 2*m, 2*v - 2*m + 1 = -3. Let d be (-90)/(-12)*(-24)/(-522). Which is smaller: v or d?
d
Let h be (-5 - -3) + 4 + -1. Suppose 0 = -5*t + 6*t - h. Which is greater: -1/13 or t?
t
Let z be (-2)/48*-4 - 831/18. Let k be z/4 + 4 + 4/(-8). Which is smaller: k or -9?
-9
Let i = -67 + 85. Let v = -56 - -38. Let c = v + i. Which is smaller: c or 3/4?
c
Let a be (0*(21/14 + -2))/(-2). Which is smaller: 6/41 or a?
a
Let c be (0 - (-2 - -4))*(-2)/(-4). Let h be c/3 + -2*(-4)/(-12). Which is bigger: h or -3?
h
Let w(x) = -69*x - 4. Let j be w(6). Let v(f) = -f**3 + 27*f**2 + 54*f - 40. Let l be v(29). Let a be 4 + (-11)/(j/l). Which is greater: a or 0?
0
Let y(h) = -5*h**3 + 4*h**2 - 5*h - 33. Let w(c) = 4*c**3 - 3*c**2 + 4*c + 33. Let k(f) = -4*w(f) - 3*y(f). Let u be k(0). Is -35 less than or equal to u?
True
Let i = 107 + -62. Let w = -44.9 + i. Which is bigger: -0.21 or w?
w
Suppose 3*x - 10 = j - 3, -2*j = 8. Is 20/27 less than x?
True
Let p = -8.2 - -7.9. Which is smaller: p or 66?
p
Let t(c) = -3*c + 19. Let g(m) = 3*m - 19. Let s be g(9). Let d be t(s). Which is bigger: d or -3?
-3
Suppose 0 = -0*v + 3*v. Let x = 155 + -263. Let c be (x/56 - -2)*1. Is v less than c?
True
Let o = 1949.09 + -1937. Let g = o + -12. Let h = 0.01 + g. Is h at most 3/2?
True
Let n(v) = v**3 + 14*v**2 - 14*v + 15. Let x be n(-15). Suppose j - 2 = -x*j. Suppose f - 32 = -3*f - j*k, -3*f + 24 = 4*k. Do f and 9 have the same value?
False
Let k(v) = -6*v - 14 - 2*v + 9*v. Suppose 3*j - j = s - 6, -4*j + 38 = 3*s. Let m be k(s). Which is bigger: m or -8?
m
Let k = 4108/3 - 1384. Let l be (432/14)/2 - 5/15. Let w = l + k. Is 4 equal to w?
False
Suppose 4*q + 4641 = 11*q. Is q at least as big as 663?
True
Let k = 0.2 + 0.8. Let y = 0.3 - -1. Let p = 0.6 - y. Is k at most p?
False
Let n(s) = -s**2 + 2. Let k be n(1). Which is bigger: 4/9 or k?
k
Let b(k) = k**3 - 4*k**2 + 2*k - 12. Let d be b(6). Let n = d + -66. Which is greater: n or 26/5?
n
Suppose -5*j + 5*h + 140 = 0, 114 = 3*j - 3*h + 6*h. Let s = -158 - -193. Is s smaller than j?
False
Suppose 5*p = -2*l + 5, 0 = 25*l - 29*l + 3*p - 3. Which is greater: 2/3071 or l?
2/3071
Let m be 4/((-96)/18)*8. Which is bigger: m or -1?
-1
Let l(x) = -2*x + 10. Let n be l(8). Suppose 14*g = 45*g + 217. Is g bigger than n?
False
Suppose -169 = -2*y - 5*r, 3*y - r + 457 = 8*y. Suppose d = -2*l - 69, -3*l = 2*d + y + 13. Is -34 equal to l?
False
Let a = 0.13 - 44.13. Let l = a + 48. Which is greater: 2 or l?
l
Suppose -i - 137 = 2*d, 319 = -2*i + 5*d - 0*d. Is -146 at least as big as i?
True
Let f = 4190 + -87988/21. Let z(o) = -o + 4. Suppose -4*u + 5*y + 36 = 0, u + 2*u + 8 = -5*y. Let n be z(u). Which is bigger: n or f?
f
Suppose 5*z = -2*z. Which is smaller: z or -2/383?
-2/383
Let w(g) = 3*g + 3*g - 7 - 57*g**2 + 56*g**2. Let o be w(5). Suppose -5 + 2 = 2*h - p, 0 = -4*h - 2*p + 6. Which is smaller: o or h?
o
Let y = -162 + 161. Is y <= -18/13?
False
Let o = 18 - 16. Let d be 3/o - 9/18. Is 1 at most d?
True
Let r(z) = -2*z**2 + 5*z + 4. Let p be r(3). Which is greater: 31/4 or p?
31/4
Suppose 4*y - 2 = -f, -1 + 5 = 2*f + 5*y. Let r be 28/10*(-100)/(-70). Which is greater: r or f?
r
Let t(f) = -f**2 + 27*f - 577. Let j be t(18). Do -415 and j have the same value?
True
Let m = 211 - 189. Which is smaller: m or -2/3?
-2/3
Suppose -1 = j - 2. Let w be -1 - 3 - j/(-1). Suppose 4*u - a = -20, -5*a + 29 + 11 = -5*u. Are u and w unequal?
True
Let t be 4/(-8)*(-8)/14. Is t > -0.37?
True
Let v = -2 + 2. Let d = -144/25 - -138/25. Is d bigger than v?
False
Let k = 2585 - 2099. Is 486 bigger than k?
False
Suppose -f = 4*l - 7, -5*l - 4 = 2*f - 21. Suppose -5*t + 0*g = 3*g + f, g = 2*t. Which is bigger: t or -22/9?
t
Let z(m) = -2*m + 5. Let o be z(4). Suppose 18 = -3*g - 5*p, -3*g + 36 = -15*p + 11*p. Is o bigger than g?
False
Let v be 26/(-48)*2 - -1. Suppose -l = 5*t - 84, 0 = 3*l + 5*t - 210 - 42. Let u be 2/7 - 80/l. Which is bigger: u or v?
v
Suppose -70*z - 53*z - 5586 = 24*z. Let j be -2 + (-1)/(6/218). Which is smaller: z or j?
j
Let v = 8.2 + -9. Let u = v - -1.7. Is u smaller than -1/5?
False
Suppose 2*x - 3*l - 162 = -x, -3*l - 219 = -4*x. Let m = x + -113/2. Is m less than or equal to 20?
True
Suppose 5*c + 3*n + 2146 = 0, -4*n = 15*c - 19*c - 1736. Are -432 and c nonequal?
True
Suppose -2*h = 3*h. Let l = -312.4 + 313. Which is smaller: h or l?
h
Let r(v) = -6*v + 79. Let a be r(13). Which is smaller: -1/761 or a?
-1/761
Let d = -11 + 2. Let r = -9.17 + 0.17. Let s = r - d. Is -0.2 bigger than s?
False
Let c be ((-2)/(-6))/((-176)/(-48)). Does c = -32?
False
Let u = -126 - -161. Are 36 and u unequal?
True
Suppose 33 = -6*w - 21. Is w >= -9?
True
Let f be (-17)/7599*(-1 + (-12)/(-3)). Is -1 > f?
False
Suppose -3*t = -0*t - 30. Suppose -5*q = -t*q - 110. Which is bigger: -23 or q?
q
Let p = -24.97 - 0.03. Let v = p - -21. Is v greater than -0.2?
False
Let j(t) = 30*t**3 + 4*t**2 + t + 1. Let d be j(-2). Which is smaller: d or -224?
d
Let m be (-5)/(-5) + (-7)/(21/192). Do -62 and m have the same value?
False
Let a be (1/3 - 8/(-12)) + -64. Let y = -60 - a. Which is bigger: 7/2 or y?
7/2
Let i be (2 + (-72)/35)*(-330)/506. Do i and 0 have the same value?
False
Let p(o) = 6*o - 50. Let i be p(9). Suppose 0 = -i*y - 2*n + 58, 3*n - 8 = 7. Does 12 = y?
True
Suppose -l + 4 = 4*a, 0*a - 4*a + 8 = 2*l. Suppose a = 2*c - 0*c - 12. Let d be 6/36 + c/9. Which is bigger: d or 2?
2
Let b = 1407 + -1408. Which is smaller: b or -110/3?
-110/3
Let k be (-44)/3 + (-32)/(-144)*18. Suppose -2*x = -2*d + 23 - 7, -5*x - 70 = 5*d. Is x != k?
True
