r: -3 or r?
r
Let j be ((-48)/(-28))/(4/14). Let s(o) = o - 4. Let h be s(j). Let v be 5*(0 - -3 - h). Which is greater: v or 6?
6
Suppose 5*v = 9 + 46. Suppose 3 - v = 2*y, 1 = -3*n - y. Suppose 3 = r - n. Which is smaller: r or 3?
3
Let b be 9 + 66*(-279)/(-18). Is 1033 greater than b?
True
Suppose 2*v - 4 = -2. Which is bigger: v or -4/625?
v
Let c be (-52)/10 - (-16)/(-48)*-15. Let v(f) = f - 5. Suppose m - 5*k = -m + 5, 2*m - 12 = -2*k. Let y be v(m). Are c and y non-equal?
True
Let s = 119 - 122. Is s > 5?
False
Suppose -g - 14 = 8. Let s be (154 - 164) + (-16)/(-2). Are g and s non-equal?
True
Suppose 122*x + 5803 = 115*x. Are x and -828 non-equal?
True
Let b = 153/16 - 13891/1456. Which is bigger: b or 0?
b
Let v be ((-6)/(-27)*3)/(402/(-18)). Let b be (-7)/(-9) - (-40)/(-90). Which is smaller: b or v?
v
Let l(q) = q**2 - q. Let v be l(2). Suppose -5*c + a + 2 - 5 = 0, v*a = -2*c - 6. Let r be 1*(c - (3 + 2)). Which is smaller: -0.2 or r?
r
Let z = -410/233511 + -61488338551/6538308. Let m = z - -36779/4. Let r = m - -210. Which is greater: r or 0.4?
r
Suppose -4*i = -49 - 55. Suppose 4 = 5*h - i. Suppose 4*k - 1 = a + 23, 0 = -5*k + 4*a + 30. Is h at least as big as k?
True
Let v be 30/30 - (-40)/(-2). Are v and -14 unequal?
True
Suppose 0 = 4*r - 2*a - 0*a + 506, a = -4*r - 491. Do -124 and r have the same value?
True
Suppose 3*g - 5*q + 3 = 6*g, g - 1 = -q. Are 1/13 and g equal?
False
Suppose -7*f + 2*f + 30 = 0. Let g be 4*(f/4 + -1). Is g greater than 14/25?
True
Let m = 51 + -58. Let j = -1 + -6. Is j bigger than m?
False
Let f = 0.8 + -2.1. Let m = f - -0.3. Suppose -11 = 29*n - 18*n. Do m and n have the same value?
True
Let j be 0 + (-10)/(-1)*(-2)/4. Is j bigger than 1?
False
Let c = -497 - -444. Which is smaller: -52 or c?
c
Suppose 175 - 4 = 3*t. Let z = t - 14. Which is smaller: 44 or z?
z
Suppose -11*z = 23*z - 7*z. Is z at most -115?
False
Let h be (1 - 1)/(-3 + 1). Suppose h*x - 2*x = 28. Let t(q) = 15*q - 16. Let u be t(1). Which is smaller: u or x?
x
Let n be (-2)/8 + (-60)/272. Suppose 3*u = 7*u + 4. Which is smaller: u or n?
u
Let q = 0.066 + -0.036. Does q = 0.6?
False
Let v = 13 + -2. Do v and 7 have the same value?
False
Suppose -2*a - 5*r - 14 = -5*a, -5*r = -a + 18. Let i(g) = g - 3. Let c be i(a). Suppose p - 2*p + z - 2 = 0, 0 = p + 3*z + 10. Are c and p equal?
False
Let v be (-1 + 14/7)*2. Which is smaller: 8 or v?
v
Let v = 18 - 9. Let q = v - 9.1. Let w = q + 0. Is w bigger than 5?
False
Let k be (22/15796)/((-2)/(-6)). Is 0 at least k?
False
Suppose 44 - 234 = -38*o. Let d = 5 + -11. Let k = d - -12. Do o and k have different values?
True
Suppose n - 10 = -n, -4*n + 20 = 2*t. Are t and 0 equal?
True
Suppose -712 - 12 = -4*x. Suppose 4*i - 5*q = -x, i - q + 52 = 6. Which is greater: i or -48?
-48
Suppose 0*g + 11 = 3*g - d, 2 = -d. Suppose 0 = p - 1 + g. Is p greater than 0?
False
Let n = 60.933 + 0.067. Let m = n - 61.2. Is 17 greater than m?
True
Let s(b) = -137*b + 2. Let a be s(-1). Let q = -1945/14 + a. Is 1 bigger than q?
True
Let c = 20.373 + -20.44. Is c < 5?
True
Suppose 2*b = 3 + 3. Let x be ((-2)/4)/((-3)/(-36)). Let u be 9*b*(-2)/x. Is u greater than or equal to 11?
False
Let v = -114 - -119. Suppose -2*r - v = -11. Which is smaller: r or 28?
r
Suppose 0 = -8*r + 20 - 116. Which is smaller: -110/9 or r?
-110/9
Let k be (-10)/(-2) + 23 + (-5 - -10). Suppose -q = -2*j + 71, 2*q + 109 = j + 2*j. Is k smaller than j?
False
Let z(g) = -2*g**2 - 20*g - 34. Let c be z(-2). Let r = -322/5 - -63. Is c bigger than r?
False
Let b = 1 + 2. Let o be -3 + (-26)/(-6)*b. Suppose -k = -3*l - l + 49, -3*l = -k - 38. Which is bigger: l or o?
l
Let t be (111/(-21) + 5)/((-1)/49). Do 99/7 and t have the same value?
False
Let d = 15 + -70. Let q be ((-30)/22)/3*33/d. Which is smaller: 1 or q?
q
Let f be (-2 - (-4 - -2))/(6 - 4). Which is smaller: 3/14 or f?
f
Let i = -71.117 + 71. Let l = -0.883 + i. Which is smaller: -1.8 or l?
-1.8
Let m = 7 - -19. Let u = m - 12. Suppose 3*r + 5 - u = 0. Which is greater: r or 4?
4
Let d(h) = -24*h + 313. Let v be d(13). Let t = 12 - 15. Is t < v?
True
Suppose -5*g + x - 26 = -0*g, 0 = -3*g - 4*x - 11. Which is smaller: g or -18/5?
g
Suppose 3*w + 4*j + 22 = 0, 3*j = j - 8. Let q be (-1190)/2352 + (w - (-10)/4). Which is greater: 1 or q?
1
Let s(l) = -l**2 + 5*l - 3. Let j be s(3). Suppose 0 = -4*z + j*p - 29, 3*z = 4*z + p + 2. Suppose -g - 1 = 3. Is z >= g?
False
Let j(v) = v**3 + 2*v**2 - 7*v - 11. Let w be j(-3). Which is greater: w or 5/79?
w
Let b = -1/156 - 307/780. Which is bigger: b or 304?
304
Suppose 8 = 3*h + h. Let c = 2366 + -2369. Is c at most as big as h?
True
Let n be (-6)/10*-5 + -27. Let s = -23 - n. Which is bigger: s or -1/40?
s
Suppose -5*l + 23 - 3 = v, -4 = -v - l. Suppose v*f = -5*u + 2*f - 235, -4*f = u + 47. Which is greater: u or -48?
u
Let y be 8388/56 + 2/(-7). Let f = y + -155. Let a = -13 - -8. Is a not equal to f?
True
Let w = -3.621 + -0.079. Let c = w - -4.7. Which is bigger: c or -29?
c
Let a(k) = -k + 1. Let t be a(1). Suppose -5*d = -2*i - 7 - 9, t = -d + 2. Let r be 11/(-12) + i/(-4). Which is smaller: 0 or r?
r
Let m = 98.054 - 0.054. Let s = m - 84. Do 2 and s have the same value?
False
Suppose -2*g = g - 6. Suppose -g*w + 15 = 3*w. Suppose -2 = -w*s - 8. Is s greater than -4?
True
Let p be 456/(4*-1)*-2. Suppose n + n = p. Let o be n/90 + (-4)/6. Which is greater: o or 0?
o
Suppose 47*l - 70 = 52*l. Let d be (l/4 - (-24)/6)*78. Is d equal to 39?
True
Let y = 41.3 + -40.3. Is y >= 6.2?
False
Suppose 51 = 8*b - 149. Let y = -30 + b. Let l be (8 + y)*5/2. Which is bigger: l or 7?
l
Suppose 3*h - 4 - 2 = 0. Let t = 423.96 + -438. Let k = 14 + t. Which is greater: k or h?
h
Suppose v - 4*v + 15 = 3*z, -v - 3*z = -7. Let u be v + -2*1 + 1. Let r = -202 - -207. Which is bigger: r or u?
r
Let u = 228.4 + -132.4. Is 2 at most as big as u?
True
Let z = -880 + 880.0565. Which is smaller: 1/2 or z?
z
Let a be 4 - -1116*(-1687)/2. Let d = a + 717302719/762. Let g = -2/127 - d. Is g < -2?
False
Let u = -1548 + 10926/7. Let o = 1357/105 - u. Does o = 0?
False
Suppose 18 = 5*f + 4*f. Let c be f/(-8)*1 - 222/72. Is -4 >= c?
False
Let b be (320/(-112))/((-1)/7). Let k be (-16)/b + 408/(-15). Let q be 3/(-6)*k/21. Is 0 <= q?
True
Let j = 61 - 31. Let l = j - 25. Which is bigger: l or 2?
l
Let w = 175 + -181. Is 0.3 at most w?
False
Suppose -2*u - 1 = a, -4*a + 3*u + 7 = -0. Let f = -1411203/70 - -20160. Is f greater than a?
False
Let j be 2*(-14 + 684/48). Let i = -1.98 - -2. Let w = i - -0.06. Is j < w?
False
Suppose 0 = -f + 1 + 4. Let i(x) = 11*x**2 - 2*x - 17. Let g(a) = 2*a**2. Let s(h) = 5*g(h) - i(h). Let v be s(f). Which is bigger: 0 or v?
v
Let s(k) = k**3 - 8*k**2 + k - 9. Suppose 0*r - 13 = -g + r, 4 = -2*g - 4*r. Let o be s(g). Is -8/7 at least as big as o?
False
Suppose 10 = -2*u, -5*q + u + 5 = -u. Let d = 52 - 28. Suppose -26*f - d = -22*f. Which is smaller: f or q?
f
Let v = -778 - -861.3. Let q = 85 - v. Which is smaller: q or 0?
0
Let l = 33 - 31.7. Let z = l - 1.5. Let f = -31 - -37. Is f > z?
True
Let o(q) = 5*q**3 - 2*q**2 + 1. Let g be o(-1). Let s = 369.4 + -369.35. Is g less than s?
True
Let u(p) = p**2 + 4*p + 6. Let l be u(-4). Let t be 39/12 + (-2)/8. Suppose -12 = t*j + 4*d - 39, -2*d - 4 = -2*j. Which is smaller: j or l?
j
Let q = -9055 - -389382/43. Which is smaller: q or 0?
0
Let h be 19 + (-21)/((-5796)/(-5221)). Suppose 0 = -l - 2*l + 33. Suppose b + 4*n = -l, 5*n + 16 = 1. Which is greater: h or b?
b
Let t = -0.055 + -0.045. Which is smaller: -22/39 or t?
-22/39
Suppose -111 = -4*q + q. Let p = -43 + q. Is -7 smaller than p?
True
Suppose 5*r - 3*n - 6 - 16 = 0, -2*n = 3*r - 17. Suppose 5*l = -7 - 23. Let k be l/(-4)*16/6. Which is greater: r or k?
r
Let b be (-1 + 2)*(10 + -5 - 6). Suppose -3*q + 3*t = -9, -3*q + 2 = -5*q - 2*t. Which is smaller: b or q?
b
Let x = -196/131 - -105382/70609. Is x less than -1?
False
Suppose 8 - 20 = -4*c. Suppose 2*v - c*r - 39 = -2*r, -3*v - 3*r + 81 = 0. Let x = v + -6. Which is smaller: x or 15?
15
Suppose 4*g + 4 = -5*s, -10*s + 2*g = -6*s - 2. Let w(t) = -t**2 + 6*t - 4. Let m be w(5). Which is smaller: m or s?
s
Let u be (-1 - 2/(-2))/1. Let d(g) = -g**2 + 17*g + 56. Let t be d(-3).