se
Let u be (-9)/(3 - (-6)/(-3)). Let n be -2*(55/10 + -2). Which is greater: u or n?
n
Let w = -34 + 46. Let v = w + -11. Let k = -3 - -2.99. Which is smaller: v or k?
k
Suppose 2*s + 12 = -4*s. Let t be 4 - (-2)/(-4)*(s - -6). Which is smaller: 5/3 or t?
5/3
Suppose -2*f + r + 19 = 4*r, 3*r = -5*f + 25. Let g be 0/(10/f - 3). Which is smaller: -2 or g?
-2
Let q = -776 - -771. Which is bigger: q or -3?
-3
Let w be 1/2 + (-5)/(-2). Let h be 9*2/(-16) + w. Which is bigger: h or 1?
h
Let b be -6 + 585/63 + -3. Is b <= 53.7?
True
Let m be -7*(1*36)/(-4). Let u be (-1)/(-2) + m/14. Suppose u*r - 5 = 5. Is 10 smaller than r?
False
Suppose -2*h - 21 = -19, -2*b - 141 = 3*h. Which is bigger: b or -2?
-2
Suppose 11 = 4*i - 33. Is 12 greater than i?
True
Let j(d) = 14*d + 140. Let v be j(-10). Is 1/5 bigger than v?
True
Let h be (-4)/12*48/(-40). Are h and -67 equal?
False
Suppose 0 = 5*p - 75 - 595. Suppose -p = -5*d - 129. Do 13 and d have the same value?
False
Let k be 1/(-2) - (-43)/(-2). Let i = k + 6. Let z be ((-52)/i + -3)*-3. Which is bigger: z or -2?
z
Suppose 0 = 7*c + 8 - 1. Let p be c/1 + 30/5. Suppose 0 = -0*a - p*a. Which is smaller: -1 or a?
-1
Let s = 43.3 + 16.9. Let n = -58 + s. Is n at least as big as 1/4?
True
Suppose 3*g - 63 = -4*d, 4*g + 5*d = 34 + 50. Let i be 2/((10/12)/5). Let n be i/(-54) + g/(-27). Which is smaller: -3/23 or n?
n
Let t be 1*3*25/5. Suppose t*w - 13*w - 18 = 0. Suppose -2*j - 3*v - w = -4, -5*j = -5*v. Is j smaller than 0.19?
True
Let y = -4 - -3.8. Let f = -226 + 130. Let v = -483/5 - f. Is v > y?
False
Let f be (-87 + 12)/(16/2). Which is greater: -8 or f?
-8
Suppose -3*k + 6*k - 2*b + 15 = 0, 5*k + 5*b = 0. Let w be k*((-3)/(-81) - 0). Is w at least as big as 0?
False
Let q be (-15)/36 + (-2)/6. Let a = 24 - 20. Suppose 0 = 4*h - 20, -j + a*h = 2*j + 20. Is q at least j?
False
Let q = 18.07 - 0.07. Let o = 19 - q. Suppose -3*k + 11 = -2*k. Which is smaller: k or o?
o
Suppose r + 8 = 6. Let g be r + 24/15 + (-8)/5. Is g < -5/4?
True
Let n(p) = -3*p**3 + p - 1. Let f(a) = a**2 - 3*a - 3. Let i be f(4). Let c be n(i). Let z(d) = d**2 - 14*d + 47. Let b be z(9). Is b < c?
False
Let n = -290 - -210. Is -81 > n?
False
Let m = 1312 + -2495/2. Is 65 > m?
True
Let y = 2 + 1. Suppose -4*u + y*t = 7*t - 20, -11 = -u - 3*t. Suppose 7 = z - 2*s, -2*z - 5*s - 1 = -4*s. Which is smaller: z or u?
z
Suppose -8 = 4*u + 4*c, 5*c - c + 6 = -2*u. Let l be (-60)/80*((-22)/(-72))/11. Which is smaller: u or l?
u
Let a = 10.9 + 0.9. Let x = a - 111.8. Which is greater: 0.1 or x?
0.1
Let q = -250181/645 + 1939/5. Let g = 77/3999 - q. Which is greater: -1 or g?
g
Let l(s) = -3*s + 125. Let x be l(42). Is 22/83 equal to x?
False
Let o = 244 + -243. Which is smaller: -37 or o?
-37
Suppose 0 = 3*v - 19 + 1. Suppose -2 + v = -4*k, m = -2*k + 9. Is 11 <= m?
True
Let y be (-46)/(-112) - 250/875. Which is smaller: y or 2/17?
2/17
Suppose 13 = -h - 5*l - 10, 0 = -3*l - 9. Let s = h - -95/12. Is s bigger than 1?
False
Let k(l) = -16*l + 51. Let d be k(12). Which is smaller: d or -2/5?
d
Let s = 2.2 - 32.2. Let y = s - -31. Which is greater: y or 22/9?
22/9
Let g be (128/70)/(12/30). Is 4 at least as big as g?
False
Let m be 744/(-336) - ((-6)/(-4))/(-3). Which is smaller: -1 or m?
m
Let l = 150.2 + -324. Let m = l + 172. Do -1/3 and m have the same value?
False
Let s be 232 + (-7 + -4 - -9). Is 231 > s?
True
Let n be ((-19)/(-114))/((-5)/(-1362)). Which is bigger: 46 or n?
46
Suppose -9*z = -5*z - 28. Suppose -z*c + 3*c = -16. Suppose 0 = -0*d - 2*d + k + 5, k + c = d. Is d less than or equal to 4?
True
Let v = 0 + 2. Suppose v*t + 3*t = 55. Which is bigger: t or -2?
t
Suppose 15 - 215 = 5*h. Let a be -2*2 + (-144)/h. Which is smaller: a or 3?
a
Let o be (-3)/15 + (-54966)/(-10). Let u = 11125/2 - o. Let j = 66 - u. Which is bigger: -1 or j?
j
Let z(l) = 17*l + 21. Let v be z(-8). Is -115 not equal to v?
False
Let r = 52 + -92. Let f = r + 39. Is 3.6 smaller than f?
False
Suppose -40 = h - 5*h. Let o = h + 8. Suppose o = 4*i + 10. Which is greater: 3 or i?
3
Let d(y) = 2*y**3 - 3*y**2 + 1. Let s be d(-2). Let j(q) = -8*q + 22. Let a be j(6). Which is greater: a or s?
a
Suppose 0 = -2*t - 2. Let r = -494 - -498.74. Let j = 0.26 + r. Which is smaller: j or t?
t
Let o be (8/(-2))/(-2) - 0. Let g be 0*o/6 - -11. Suppose 4*u + u = 10, 4*w - 44 = 2*u. Which is smaller: w or g?
g
Let f = -0.151 + 10.151. Is 0.01 at least f?
False
Let q be (-34)/(-153)*6 - (-1)/(-3). Which is smaller: q or -2/1549?
-2/1549
Let y(w) = -2*w**2 + 12*w - 26. Let v be y(11). Which is bigger: v or -137?
v
Suppose 7*l = -0 + 7. Which is greater: -1/101 or l?
l
Suppose 235 = 155*l - 160*l. Which is greater: 2/7 or l?
2/7
Let y(s) = -127*s + 11. Let n be y(-4). Suppose c + 107 = -3*g, 6*c - c + n = g. Which is greater: c or -103?
-103
Let z be ((2 + 1)/3)/(-1). Let y be (-3 - -6) + z - 0. Let u be 6/4 + 1/y. Is u less than 3?
True
Suppose -4*d + 5*y = -7*d - 28, -4*d - 4*y - 24 = 0. Which is greater: -2/19 or d?
-2/19
Let g be -1 + 1/3 - 204/(-90). Is g less than 2?
True
Let r(z) = -z**2 - 3*z + 2. Let s be r(-4). Let k be 2/1 + 2739/44. Let m = -64 + k. Which is bigger: s or m?
m
Let a = -83 - -87. Let r be (-2 - -4) + a + 0. Is r greater than 6?
False
Let s = 354 + -256.94. Let q = s - 97. Is q greater than 4/7?
False
Let q = -2895500/519 - -5579. Which is smaller: -1 or q?
-1
Let y(c) = -c. Let g be y(-4). Suppose -4*d - 3*v + 23 = 2*v, d = g*v - 10. Let j be (-4)/d*8/(-16). Is j bigger than 3?
False
Let c be (-4)/(-5) - (-7 - -8). Suppose 5 = t - 5. Let r be 32/(-40) + 8/t. Which is smaller: r or c?
c
Suppose -19*y = 1191 - 3718. Which is greater: y or 921/7?
y
Let p be (-4)/6 + (-220)/30. Let o be (p/138)/(2/(-3)). Suppose -m + 5*h = -24, 2*h = -10 - 0. Do m and o have the same value?
False
Let x = -14/265 - -3831/47435. Which is bigger: -1 or x?
x
Let x = 73 - 103. Let w = 30 + x. Let g = 4.6 - 5. Are w and g unequal?
True
Let t be ((-88)/(-55))/(1/(-5)). Let j be (-103)/2 + (t - -9). Let i = j + 49. Is i less than 0.2?
True
Let d = 11 + -8. Let h(j) = 4*j**2 + d - 3*j**2 + j - 2. Let v be h(0). Which is smaller: v or -11?
-11
Suppose -2*n + 10 + 8 = 0. Suppose 5*z = 21 + n. Suppose -7*b + 8 = -z*b. Which is greater: b or 7?
b
Let m(i) = -i**3 - 2*i**2 + 4. Let k be m(-2). Let v be 5 - k - (0 - 1). Which is greater: v or 3?
3
Suppose -v + 450 - 122 = 0. Let r = v - 1329/4. Which is greater: -3 or r?
-3
Let p = -2 - -3. Let x(r) = r**3 - 7*r**2 + 13*r - 7. Let j be x(5). Let a be 9 + (-40)/j - (-29)/(-7). Is p equal to a?
False
Let a = 3 - 4. Let g be 5 - 2 - 216/70. Is g >= a?
True
Let k be (63 - 67) + (-1066)/(-265). Which is bigger: 1 or k?
1
Let z = 8.691 - -0.309. Is z >= -8?
True
Let k be (2/14 - 15/(-42))*48. Are 176/7 and k non-equal?
True
Let y be 18/(-2) + 115/(-30). Is y bigger than -12?
False
Let y = 106 + -102. Suppose -y*h + 46 = 5*d - 6, 0 = 2*d - 3*h - 7. Is 9 < d?
False
Suppose 2*k + 4*a = -3*k + 12, 2*k + 12 = 4*a. Is -3/58 > k?
False
Let c(a) = 14*a - 4. Let d(g) = g**3 + 4*g**2 - g - 1. Let z be d(-4). Let q be c(z). Which is smaller: 39 or q?
q
Let h = -956 - -953. Is h greater than or equal to 2.1?
False
Let o = 1183 + -1179. Which is greater: o or -2/11?
o
Let r be (-16)/6*((-2)/1 + 33). Let t = 81 + r. Which is smaller: -1 or t?
t
Let a = 10 - 12.9. Let j = -0.198 + -14.902. Let g = a + j. Are 0.1 and g unequal?
True
Let t = -4 - -2. Suppose -j + 3*j - 3*r = 0, 2*j = -3*r. Let p be (j + 4 + -5)*(-10)/2. Which is smaller: p or t?
t
Suppose -2*u + 6 = -6. Suppose r - 4*m = 4*r + 3, -u = 2*m. Suppose c = 4*h - 9, r*h + 3*c + 11 = -h. Which is smaller: 0 or h?
0
Let p = 2.02 + -2. Let w = 0.12 - p. Let j = 3.7 - 0.7. Which is smaller: w or j?
w
Let c = -70997/3 - -23883. Which is bigger: 218 or c?
218
Let w = -619 + 623. Suppose -8 = -3*j - 2. Suppose 4 = j*h + 2. Is w >= h?
True
Suppose 4*w + 26 - 250 = 0. Let o = -137 - -192. Which is bigger: w or o?
w
Let f = -39 - -56. Suppose -3*c = 79 + f. Do c and -31 have the same value?
False
Let i = 45 + -31. Suppose 6*r = 4*r + i. Which is smaller: r or 8?
r
Let j(z) = z**3 + 9*z**2 - 15*z - 17. Let v be j(-10). Let g = v + -32. Is -4/9 smaller than g?
True
Let z = 3 - 22. Let s = z - -23. Suppose s*