-1/18 less than s?
False
Let h = 1174.68 - 1174. Are h and 0.2 nonequal?
True
Let r = 0 - 0.3. Let u = 89 + -89.06. Which is greater: r or u?
u
Let a = -83 - -84.5. Let l = -38.5 + a. Is l at least as big as 2?
False
Let c be (10/(-4))/(5575/(-20)). Are -1 and c non-equal?
True
Suppose -j - 2*j = -2*i + 11, i - 23 = 5*j. Let r be ((-55725)/(-115))/j + -3. Let n = -100 - r. Which is greater: n or -1?
n
Suppose -4*y - 4*c + 15 = -5, 0 = 4*y - c + 5. Suppose -2*p + 3 + 45 = y. Is p >= 23?
True
Let u(d) = 67*d + 112. Let k be u(9). Are k and 716 equal?
False
Let u = -81 + 111. Let w = -0.039 - 0.161. Is u < w?
False
Suppose -2*y + 5*p = 17, -6*y + y = -4*p. Suppose -2*n + n = 4*j - 21, -y*n + 2*j + 30 = 0. Let s be (-16)/132*n/6. Which is smaller: -3 or s?
-3
Let c = 4.55 + -4.95. Is c < -0.1?
True
Suppose -4*b = -0*b - 5*l - 14, -2*l + 4 = 0. Suppose -b = h - 2*h. Let u = h + -5. Which is greater: u or 0.01?
u
Suppose 2*i = 2*a - 1774, 5*i = 67*a - 68*a - 4411. Which is greater: i or -885?
i
Let z be 92/(-207) + 76/9. Which is greater: z or 0?
z
Suppose y - 2*p = 0, -2*y = 25*p - 24*p. Which is bigger: y or 0.2?
0.2
Let v = -139 + 156. Let g = 25 - v. Which is smaller: 5 or g?
5
Let u = -49 - -87. Suppose -u = 4*w - 6. Let b be 29/w + 51/(-136). Are b and -5 equal?
False
Let r = -8/703 - -7056/125837. Which is greater: r or -1?
r
Suppose -5*h + 2 = 3*c - 0*h, 0 = -2*c - h - 1. Let v be ((-50)/40)/(c/(-12)). Let g be -5 - 20/v*3. Is g at least as big as 6?
False
Suppose -49*t - 60 = -403. Let d(q) = -2*q**2 - 7*q + 6. Let a be d(-6). Let g = -17 - a. Is t >= g?
True
Let x be 4/1*-6*2/(-136). Suppose 10*b = 12*b - 2. Which is smaller: x or b?
x
Let z = 17141/27092 - 33/52. Is 0 <= z?
False
Let w = 863 + -863.2. Let d = -5 - -6. Is d <= w?
False
Suppose 5*n - 2*c + 21 = 157, 5*c = -5*n + 150. Which is greater: 26 or n?
n
Suppose 59 = -3*p + 5*g, -339*g - 12 = -342*g. Let k(d) = -d**2 + 2*d + 1. Let f be k(-3). Which is bigger: p or f?
p
Suppose 3*n = -3*u + 84, -2*u - 2*u + 5*n = -85. Which is smaller: u or 20?
20
Let c be 0/(1/1)*-1. Let t = -1 + 5/3. Is t at most c?
False
Suppose 10*l - 10 + 10 = 0. Which is smaller: l or -1/127?
-1/127
Suppose -2*d + 4*d = 0. Let r = -93/4 + 1205/52. Is r smaller than d?
True
Suppose -167 = 14*v + 43. Let t = v - -11. Are -5 and t unequal?
True
Let z be 3/((20/(-4))/(-5)). Suppose 2*v = 7*v - o + 49, -z*o = 3*v + 15. Which is bigger: v or -10?
v
Let m(a) = -3 + 0 + a - 3*a - a**2. Suppose 44*i = -212 + 36. Let c be m(i). Which is bigger: -10 or c?
-10
Let a = -14 + 19. Let v be -1 - 10*(-3)/6. Which is smaller: v or a?
v
Let j be 2/(3/(36/8)*3). Which is bigger: j or -23/60?
j
Suppose 4*v - 2*t = 3*v - 5, 5*t = v + 14. Let p be 308/363 + (-14)/21. Which is smaller: p or v?
p
Suppose -11*o - 1680 = -7*o + 5*z, 3*o - 3*z = -1287. Is -428 <= o?
True
Let r = -54 + 77. Suppose -4*g - 77 = -11*g. Let a = r - g. Which is smaller: a or 11?
11
Let h be 0 + ((-35538)/(-340) - 2). Let d = 1680/17 - h. Let q = -7/2 - d. Does -1 = q?
False
Let m be 3/11 - (-432)/(-495)*1. Is m equal to -160?
False
Let r be 224/(-440) + -4 + 4/(-10). Is -4 not equal to r?
True
Let q = -0.444 - 0.156. Which is smaller: q or -7?
-7
Suppose -c = -22 + 18. Let w be 5/(-1)*(-6)/10. Let f be (w - c) + 10/8. Does 0 = f?
False
Let n = -603 - -602. Let l be ((-1)/(-3))/(399/(-7632)). Let s = l + 45/7. Do s and n have different values?
True
Let g = -68.6 - -65.6. Which is bigger: -284 or g?
g
Suppose 0*b = b. Suppose 4*t - o = -61, 2*t + 2*o - 4*o + 38 = 0. Let r be ((10/t)/(-1))/1. Which is bigger: b or r?
r
Let f be (-12)/(1 - 3) + 0. Suppose 0 = -2*l + 2 + f. Suppose 2*j + 3*d = -0*j + 2, -5*j + 5 = l*d. Which is bigger: j or 4/9?
j
Suppose -x - 2*x - 18 = -4*p, -x = -2*p + 8. Let a = 2/209 - -2084/627. Does p = a?
False
Suppose -3*a = 2*g - 9, 3*g + 2*a = -a + 12. Let v be -1 - 4 - (-3948)/588. Which is smaller: g or v?
v
Let f be (-10)/45 - 4/(-18). Suppose -5*a - 4*p + 48 = f, 5*a - 3*p - 32 = p. Suppose -6*o + 4*o + 14 = 0. Which is smaller: a or o?
o
Let y be (-12)/(-7) - (0 - 0). Let s(m) = m**2 - 15*m + 15. Let g be s(15). Suppose 24 = 3*f + g. Which is greater: y or f?
f
Let j = 3 + -4. Suppose 4*q = -13 - 11. Let l = -6 - q. Which is greater: j or l?
l
Suppose 0 = -4*m - 4*l - 0 - 4, 0 = -5*l. Let c be 42/76 - (-72)/(-144). Which is smaller: m or c?
m
Let c = 891 + -891. Is 12/11 smaller than c?
False
Let l = -278 + 256.3. Which is smaller: l or -1?
l
Suppose 8*z - 558 = 1210. Is z <= 222?
True
Let a(s) = s**3 - s**2 - 2*s + 15. Let x be a(0). Let p be 5/(x/(-9)) - -5. Suppose 0 = -0*t + 3*t + o - 21, -2*o = t - p. Is t >= 5?
True
Let k be (-19)/((-380)/(-40))*9/2. Let f = 696 + -2821/4. Which is greater: k or f?
k
Suppose -3*s + 8*s + 20 = 0, -2*j + 214 = -4*s. Suppose -5*u + j = -26. Are 24 and u unequal?
True
Let v be -2*(365/(-15) + 2). Let h = v + -45. Let b = 0.2 + -0.18. Do b and h have the same value?
False
Suppose 4*w + 5*u = 2*w + 101, 5*w = 4*u + 236. Which is greater: 50 or w?
50
Let z(p) = 2*p**3 - 25*p**2 - 23*p + 30. Let q be z(12). Which is bigger: q or -389?
-389
Let q(h) = -2*h**2 - 43*h + 25. Let c be q(-18). Which is smaller: 145 or c?
145
Let h(q) = -q**3 - 7*q**2 + 3*q - 8. Let u be h(-8). Let f(d) = 13*d - 46. Let w be f(6). Is w != u?
False
Suppose 5*g = -4*l + 15, 22 = -12*g + 10*g + 4*l. Is -2/129 at least g?
True
Let h = 1465/2 - 736. Which is bigger: -5 or h?
h
Let m = 0.042 - -1.018. Let t = -0.06 + m. Does t = 19?
False
Let g = 26/17 - 322/255. Do -1 and g have the same value?
False
Let m = -2.4 - -2.42. Let h be (-12)/(-16) - (15/12)/(-5). Which is smaller: h or m?
m
Suppose -2 - 13 = -3*d, -2*x = -5*d + 15. Suppose 2*f + q + 2 = 19, -3*f + 19 = -x*q. Let r be (-3)/(-1) - (f - 6). Are 2 and r nonequal?
True
Let n(l) = -4*l + 1. Let m be n(1). Let h(q) = -5 - 2 - 5*q**3 - 7*q + 4*q**3 - 2*q**2 - 5*q**2. Let c be h(-6). Is m smaller than c?
True
Let m be (-3 - 39/(-6))*-10. Let v = m - -51. Suppose 15*t = 27*t - 192. Is t at least v?
True
Suppose 36 = -13*z + 7*z. Does z = 3?
False
Let o be 9*1*2/(-3). Suppose -3*f - 253*k + 254*k = -3, -3*k = 0. Is f > o?
True
Let q be 73 - (1 + -2 + 2). Let v = 796/11 - q. Suppose 3*o - 6 = 3*l, 3*o + 2 = -2*l - 2. Which is smaller: o or v?
o
Let u be 30/297 - 6/11. Which is smaller: u or 1?
u
Let b(i) = i**3 - 4*i**2 - 5*i - 1. Let m be b(-5). Is m >= -201?
True
Let j = -2/653 + 1307/213531. Which is smaller: -1 or j?
-1
Let a(r) = -r**3 + 8*r**2 - r - 4. Suppose 0 = 3*v - 0*v - 15. Let p be a(v). Let q = -328/5 + p. Is 0.3 less than q?
True
Let w be -1 + 2 - 3*(-4 + 3). Suppose 2*t - 9*d - 2 = -6*d, -w = d. Is t less than -2?
True
Let d = -9156 + 9155. Let q = -10 + -9. Let z = q + -10. Is d bigger than z?
True
Let r = -0.658 - 9.342. Is -4/21 at most as big as r?
False
Let i = -1072 + 1069. Let t = 0.01 + -0.11. Is t at least as big as i?
True
Let y = -50 - -58. Suppose 7*g + 13 + y = 0. Is g at most as big as -7/4?
True
Let c = 1158 + -1159. Which is bigger: c or 2/2479?
2/2479
Let n = -2.996 - -0.796. Let p = 5.2 - 5. Is p at least as big as n?
True
Let o be (-3)/4 - ((-3079412)/(-34960))/(-7). Let v = -225/19 + o. Is 1 less than or equal to v?
False
Let o be 0 + 1 + 1 - 6. Suppose 0 = z - 3*y + 1, -2*y + 15 = -3*z - 5*y. Let f = o - z. Is -3 at most f?
True
Let b(i) = -i**3 - 16*i**2 - 15*i - 2. Let y be b(-15). Let p(o) = -11*o - 1. Let m be p(y). Let h = m + -20. Is h less than or equal to -1/8?
False
Let u(b) = -2*b**2 - 9*b + 10. Let c be u(1). Is c at most 11/26?
True
Suppose -5*u = -15, 3*k + u + 6 = 5*u. Suppose -k*p + 7*p = 0. Suppose o = 1 - p. Which is bigger: o or 1/5?
o
Let p(m) = -m**3 + 12*m**2 - m + 1. Let u be p(12). Which is smaller: -9 or u?
u
Let a(h) = h + 350. Let z be a(-9). Which is bigger: z or 340?
z
Let r = 0.1 - 0.3. Let q = -13.87 - -14. Let s = 0.23 - q. Which is greater: r or s?
s
Let v = 181551/68 - 2670. Do 0 and v have the same value?
False
Let w(j) = -3 - 5 + 23 + 6*j + 9. Let g be w(-5). Let k = -9 - -3. Does g = k?
True
Let j = 41 - 58. Let s(k) = 0*k**2 - k**2 - 13 - 17*k**3 + 12 - 2*k + 3*k. Let g be s(1). Which is smaller: j or g?
g
Let h = 31299/129427 - 2/4463. Is 1 != h?
True
Let q(b) = -b**3 + 3*b**2 + b - 2. Let o be q(3). 