r?
r
Let l = 150 + -89. Which is smaller: 60 or l?
60
Let p be (-1 - (-94)/110) + (-12)/(-20). Which is smaller: p or 1?
p
Suppose 3*h - 15 = -2*x, 0 = x - 2*x - 2*h + 10. Which is smaller: 12 or x?
x
Let s be 15 - (-7)/((-7)/(-2)). Is s <= 19?
True
Let w be (2 + (-4)/5)/((-4)/10). Which is bigger: -6 or w?
w
Suppose 2*x - 3*h + 15 + 1 = 0, 4*h - 16 = 0. Let b be 0/(-1) + (-2)/x. Is 1 bigger than b?
False
Suppose -o = 3 - 2. Is -1/24 bigger than o?
True
Let r(p) = -2*p - 7. Let l be r(-5). Let z = -1 + l. Is z >= 1/2?
True
Suppose 3*i - 5 = 1. Suppose -5*w = -i*g - 17, 2*w - 3*w = 2*g - 1. Let j = -5 - -3. Which is bigger: g or j?
g
Suppose 0 = 2*a - 3*m, 5*a + 0*m = -3*m. Is a smaller than 2?
True
Let r(h) = -h**2 + 8*h + 23. Let v be r(10). Which is smaller: v or 4?
v
Suppose 0 = 22*o - 10*o - 384. Which is bigger: o or 31?
o
Let c be -2 + (2/(-4))/((-4)/8). Let q(a) = a**2 - 5. Let h be q(6). Let d = h + -187/6. Is c at most as big as d?
True
Suppose o = -0*o + 7. Suppose 3*k = 2*j + 8*k + 13, -3*j + 43 = -5*k. Which is smaller: j or o?
j
Suppose -17*d - 4 = -16*d. Let s be (1/(-2))/(9/(-4)). Which is greater: d or s?
s
Suppose 0*c + t - 33 = -5*c, c - t - 3 = 0. Let n = c - 6. Suppose 2*g + n*g = -10. Does g = -5?
True
Suppose 0 = t + 2*t. Is t smaller than -3/5?
False
Let u(d) = -d + 1. Let l be u(-3). Let k be (-112)/49 + l/2. Is k >= 0?
False
Let q(u) = -u**2 - 8*u + 8. Let k be q(-9). Let i = k - -2. Is i < 3?
True
Suppose -c = -4 - 8. Suppose r - 4 = 0, -3*v - 3*r + c = -0. Which is greater: 2/27 or v?
2/27
Let o = -18 - -23. Is o equal to -1/5?
False
Let t = 0.11 + -0.01. Let o = 0 - t. Which is smaller: o or -1/3?
-1/3
Suppose 0 = 5*f + 10, -4*f = 5*g + 6 + 17. Let i be ((-2)/24)/(1/g). Is i != 3/8?
True
Let a be (43/15 - 3)*-3. Is 1.1 greater than or equal to a?
True
Let f = -3 + 7. Suppose 0 = -k - 0 - f. Let g be (-2)/(-8) - 11/k. Are g and 5 nonequal?
True
Let d = 1 + 3. Suppose d*v + 12 = -5*g + 1, 5*v - 2*g = -22. Let q be v*((-3)/(-4))/(-3). Is 2/9 > q?
False
Let h be 4 + -1 + (-2)/(-1). Let x be (-74)/(-14) + 6/(-21). Suppose 0 = -0*i - x*i + h. Which is bigger: 2/7 or i?
i
Let x = -3476/5 + 690. Is x at most -4?
True
Let m = -45 - -45.01. Is -1 <= m?
True
Suppose o = -2 + 5. Let c be -1*(-2 + o) - -2. Is c less than or equal to 0?
False
Suppose 0*n - 4*n + 18 = -2*y, -4*n + 5*y = -33. Is 1 < n?
True
Suppose -9*c + 1 = 46. Which is bigger: -4 or c?
-4
Let a be 1/(-2)*8/18. Let s = 4/3 + -5/6. Is a smaller than s?
True
Let y(s) = -3*s - s + 5*s + 2 - 2*s. Suppose -t - 3*z + 2 = -6, -z = 5*t - 26. Let k be y(t). Is -2 != k?
True
Suppose -4*a + 0*p = 2*p - 2, p = -4*a - 3. Let n = 2 - 3. Which is smaller: a or n?
a
Let n = -275/2 - -138. Which is smaller: n or 37?
n
Suppose -b + 3*c = -20, -5*b + 3*c + 64 = -0*c. Is 11 less than or equal to b?
True
Let n = 9/7 + -131/91. Is n less than 0.3?
True
Let v = 49 + -47. Which is greater: -3 or v?
v
Let y = 81 + -80. Let k be (-3)/36 + 1/(-4). Which is smaller: k or y?
k
Let x(w) = w - 11. Let f be x(9). Let b(z) = -z - 4. Let t be b(0). Is f >= t?
True
Let p be 9/6*2/9. Let g = 5.8 + -6. Which is smaller: p or g?
g
Let z = 6 - 10. Let t = z + 2. Let r be 36/84*(-2)/3. Which is smaller: t or r?
t
Let g be (-27)/(-21) + -2 + 1. Is -2 less than or equal to g?
True
Let v = 4.9 + -5.08. Is 0.2 greater than v?
True
Suppose -5*c = 2*i - 4*c - 3, 0 = -5*i - 5*c + 20. Let m(s) = 3*s + 1. Let v be m(i). Let l be v/2 + 7/9. Does l = 0.2?
False
Suppose x + 100 = -3*x. Let q be 1*2 - x/(-10). Is q less than or equal to 1?
True
Suppose -5*d + 228 = -11*d. Which is bigger: -37 or d?
-37
Suppose -3*m + 7 = 4*j, 4*m - 2*j + 24 = j. Is m equal to -2?
False
Let i(g) = g**2 - 22*g + 2. Let r be i(22). Are 0 and r unequal?
True
Let x = 2373/25 + -95. Which is greater: x or 2/7?
2/7
Let a = -2.581 + -0.019. Which is smaller: a or 0?
a
Let o be (-10 - -22)/(1 - 3). Are o and -1 unequal?
True
Let f = -90 + 80. Which is bigger: -5 or f?
-5
Let h = 8 - 7.5. Let b = h + -0.5. Do b and -1 have different values?
True
Suppose 3*i - 5*i = -300. Suppose -j = -2*u + 4*j + i, 174 = 2*u + j. Let f be (-5)/u*2*-1. Is 0 equal to f?
False
Let u be (4/(-10))/(1 - 2). Let j = -2.9 - -4. Let v = 3.1 - j. Which is greater: v or u?
v
Let m = 9 + -8. Let p be (2/(3 - m))/(-1). Is p less than 2/9?
True
Let d = -20 - -20. Is d at most as big as 1/2?
True
Let p be (-16)/28 - 6/(-9). Is p less than -1?
False
Suppose -1 = -3*b - 25. Let g be ((b/(-3))/(-4))/1. Which is smaller: g or -1?
-1
Let j = -13 - -9. Let p be 2/10 - j/(-20). Let m(z) = z**3 - 3*z**2 - 4*z + 2. Let h be m(4). Are h and p non-equal?
True
Let w = -0.015 + 7.015. Does -0.1 = w?
False
Let k = 0.02 - -1.48. Let o = k - 1.7. Is -7 greater than o?
False
Suppose -5*m = 8 - 3. Is m not equal to 8/21?
True
Let w = 1051/14 - 75. Is w equal to 0?
False
Suppose -5*h + 1 = -9. Which is bigger: 0 or h?
h
Let t = -29972/5 - -6133. Let y = 234 + -373. Let l = y + t. Which is greater: -2 or l?
l
Let v be 9*((-28)/(-60))/7. Which is smaller: v or 0.1?
0.1
Let z = -15 + 14.9. Which is smaller: 1 or z?
z
Let i = -0.05 - -0.09. Let m = -0.01 - i. Let u = m - -0.03. Which is smaller: u or 0?
u
Let k be 4/(-14) - (-40)/(-7). Let m = -7 - k. Is m greater than or equal to 3?
False
Suppose 0 = 3*a - 9, 10 - 25 = -3*l - 3*a. Suppose 3*p - 2*s - l = 0, -2*s + 3 + 3 = p. Are p and 2 nonequal?
False
Let t(z) = z**3 + 4*z**2 + 2*z - 3. Let j = -29 + 26. Let h be t(j). Which is smaller: 1 or h?
h
Let a be -2*1*6/6. Which is bigger: -1 or a?
-1
Let q = 0.29 - 0.09. Do q and 2/15 have different values?
True
Let n(m) = m + 25. Let j be n(0). Suppose 0 = 2*g + 3*g - j. Let t = 4 - g. Is -2/5 less than or equal to t?
False
Let v be 1/2 - (-5 + (-221)/(-40)). Is 2/7 bigger than v?
True
Let d(g) = 2*g - 6. Let k be d(5). Suppose -2*z - 5 = -3*z. Which is smaller: z or k?
k
Let j be 4/(-2) - (-3 + 3). Which is bigger: -11/4 or j?
j
Let l(s) = -s**3 + 3*s**2 + 4*s + 1. Let i(q) = q**2 - 10*q + 13. Let t be i(9). Let p be l(t). Is p < -2/5?
False
Let t = 13 + -13.1. Is t at least as big as 19?
False
Let q = -88 + 1670/19. Let x = 7 - 8. Is q smaller than x?
False
Let w = -172/7 - -888/35. Which is greater: w or 1?
1
Suppose -5*b - 520 = 5*s - 0*s, -3*b = 5*s + 304. Let z = b - -753/7. Is 0 greater than z?
True
Let h be (8/52)/((-2)/3*-3). Which is bigger: h or 1?
1
Suppose 3*w = 2*q - 8, q + 2*w - w + 1 = 0. Let c(y) = y**3 + 7*y**2 - 8*y + 1. Let k be c(-8). Suppose -2*i + i + k = 0. Is q not equal to i?
False
Let j = -1303921 - -6589482/5. Let m = j + -14070. Let u = 95 + m. Which is smaller: u or -1?
-1
Let m be 2*6 + 3 + -4. Let x = 15 - m. Suppose -2*s + x = 2. Which is greater: 1/4 or s?
s
Let h(z) = -7*z - 2. Let x be h(2). Let m be 456/(-22)*92/x. Let i = m + -119. Are i and -1 nonequal?
True
Suppose 5*z = z. Suppose 2*g = -z*g + 10. Is 3 less than g?
True
Let m(u) = u**3 - 3*u**2 + 2*u - 4. Let i be m(3). Suppose 0 = i*h - 4*d + 8, -4*d - 1 = -3*h - 7. Let v = 2 - 2. Is h greater than or equal to v?
True
Suppose 4 = 2*g - 4*g. Let v(c) = c. Let y be v(-3). Is y less than or equal to g?
True
Let d be 56/(-48) - (-2)/(-6). Is -3/2 at least d?
True
Let c be 2/3 - (-6 - -7). Is -1 > c?
False
Let m = -5 - -3. Which is bigger: m or 1/20?
1/20
Let b(z) = z**2 + 4*z + 2. Let n = -17 - -15. Let i be b(n). Let d = -433/3 + 143. Which is smaller: d or i?
i
Let m = -533548 + 16534720/31. Let n = -406 - -236. Let x = m - n. Do x and 1 have different values?
True
Let r = -5 + 6. Let a = 20 - 14. Suppose -2*o + a = o. Is o < r?
False
Let v = 22/7 + -81/28. Let r = 17/20 - v. Which is smaller: 1 or r?
r
Let j = -9 + 9.3. Let m = 3.9 - 4. Do m and j have the same value?
False
Let j be (-5)/(10/4) + 10. Let i = j + -7. Which is smaller: -3/17 or i?
-3/17
Suppose 12 = 3*l + l. Let b(r) = r - 2. Let q be b(8). Let c be (-3)/(-6) - l/q. Is c less than or equal to -2?
False
Let k = 253 - 2027/8. Which is greater: k or -0.1?
-0.1
Let x = 2 + -8. Let o be (-4)/x*4/168. Let v = 59/252 + o. Is 1 > v?
True
Let l = -98 + 96. Which is greater: 1.1 or l?
1.1
Let m = -3 - 0. Let z = -11 - -10. Is m not equal to z?
True
Let i = 28 + -28.2. Suppose 0*h = -3*h. Is h > i?
True
Let h = 15 - 13. Let f = 9 - 21. Let r be (9/f