2*v, -k*v + j = -6*v + 27. Is v bigger than q?
False
Suppose -g + 25*h - 24*h - 94 = 0, -3*g - 274 = h. Is g < -94?
False
Let x be -9 + 546/65 - (-22)/70. Is x equal to -1?
False
Let g be ((-8)/2 - (-24)/6)/1. Let v be ((-75)/6 + 3)/1. Let t = v + 9. Does g = t?
False
Let o = 0.2408 - 0.1908. Which is smaller: -12/7 or o?
-12/7
Let j = -5.9 + -0.1. Let f = j - -10. Let n(q) = q**3 + 3*q**2 + 2*q - 3. Let y be n(0). Which is smaller: y or f?
y
Let o(r) = -r - 7. Let b be o(-2). Let y be (-1)/(1/(-6)) + -3. Let m = y + b. Which is greater: m or -1?
-1
Let i(f) = -12*f**3 - 3*f**2 - f - 2. Let d be i(-2). Suppose 0*q - q - 12 = g, -4*g + 5*q - d = 0. Is g greater than or equal to -15?
False
Let c = 55 + -47. Suppose -4*s + 3*m = -19, 3*s + c = 2*m + 21. Which is greater: s or 1/122?
s
Suppose 2*i - i - q = 17, 3*i - 59 = -5*q. Suppose w - 18 = 2*k, 0*k + 2*k - 5*w + i = 0. Which is bigger: k or -11?
k
Let s(u) = u**2 + 7*u + 5. Let a be s(-6). Let i be 2*(a + 10/(-4)). Does i = -7?
True
Let c = -15 + 19. Let j = 12 + -10. Suppose 2*g - l - 18 = -3*l, -j*g + 2*l = 2. Do g and c have different values?
False
Let u = 60585/47 - 1289. Let n be (-7)/((67 + 10)/(-11)). Is u at most n?
True
Let g = -502/3 - -174. Let x(s) = -s**2 - 6*s - 2. Let u be x(-5). Suppose 0 = -r + u*r - 14. Which is greater: g or r?
r
Let t = 0.03 - -1.04. Let p = -0.07 + t. Is p at least 0?
True
Suppose m = -m + 4*i - 18, 2*m + 5*i - 27 = 0. Is -1/167 at most m?
True
Suppose -44*m = -264 - 1232. Let j = 118 + -84. Is j equal to m?
True
Let k be 1*(-4)/14 - (-567)/2499. Let u be ((-2 + 2)*1)/2. Is k less than or equal to u?
True
Let s(t) = 13*t**2 + 5*t + 3. Let p be s(-2). Suppose -5*w + p = -5*i, i - w - 11 = 2*i. Which is greater: i or -6?
-6
Let y(f) = -f**3 + 23*f**2 + 58*f - 143. Let j be y(25). Is j bigger than 59?
False
Let b = -115 + 46. Let t = b + 82. Which is greater: t or 0.2?
t
Let h be ((-124)/20 + 6)*3. Suppose 2*n - i + 7 = -0*n, 3*i - 12 = -3*n. Is h at most as big as n?
False
Let c = 8/900101 + 49921401350/35103939. Let v = 1422 - c. Is -1 < v?
True
Let f be 3 + -1 - (1 + 0). Let o be f/(((-5)/16)/(-5)). Is o > 17?
False
Let d = -1041 + 579. Which is bigger: d or 1/2?
1/2
Let p(o) = 2*o - 5. Let j be p(4). Suppose -9 = -j*k + 6*k. Let a be (-4 - (-18)/4)*k. Which is greater: a or -1?
-1
Let y be 1/((-3)/(-6)) - 0. Let l be ((-96)/(-20) - (-3)/15) + -2. Suppose -k = -y*k - v, -l*k = -v. Which is bigger: k or 4/13?
4/13
Suppose 300 = 4*w + 192. Which is smaller: w or 26?
26
Suppose k + 0 - 140 = 0. Suppose 3*b = 3*m + 102, 4*m - 5*b = -0*b - k. Suppose 328 - 118 = 5*r - 12*r. Are m and r non-equal?
False
Suppose 4 - 32 = -14*m. Which is smaller: m or 11/10?
11/10
Let k = 9.1 + -10. Let r = k + -1.1. Let p = 0.05 - -0.95. Is r > p?
False
Let o be (-4)/(-2) + (-87425)/(-169). Let m = o + -519. Let a be (0 - 0)*1/2. Which is bigger: m or a?
m
Let v = 1035 - 1028. Which is smaller: v or -0.049?
-0.049
Let l = 76546529235487/13209 + -5795028329. Let f be 50959/(-9435) + 8/20 - -5. Let j = f - l. Which is bigger: j or -3?
j
Let t be 62/12 + 11/(-66). Suppose t*j + 21 = 2*f, 2*j = -4 - 6. Which is bigger: -1 or f?
-1
Let k be (-5)/(-7) + 2/7. Which is smaller: k or 3/682?
3/682
Let n be (-2)/(-5) - 2/5. Let c be (-136)/(-221)*(0 - 5/20). Which is smaller: c or n?
c
Let t(s) = s**3 - 13*s**2 + 9. Let f be t(13). Let l be 16/(-9) - (-18)/f. Which is smaller: l or -1?
-1
Suppose -2*w - 5 = l, 12*l - 14 = 2*w + 10*l. Do -6 and w have different values?
True
Let y = 39 - 31. Let a be ((-6)/(-12))/((-4)/y). Which is smaller: a or 1/5?
a
Let p = -23/10 - -31/10. Let q be 0 - (-1 + 1/(-1)). Which is bigger: q or p?
q
Let u be (2/(-3) + (-30)/(-45))/(-2). Which is bigger: u or 1/47?
1/47
Let d = 1.15 + 1001.85. Is d less than or equal to 0.1?
False
Suppose -3 = 6*a - 9. Suppose -5*o - a = 3*w, 4*w - 8 = -3*o + 9. Is 16 greater than w?
True
Suppose 2*b + 0*t = -t + 50, 5*t - 16 = -b. Let m = -25 + b. Is m > -2?
True
Let c = 80 + -33. Suppose -c - 34 = -3*i. Let z = i - 25. Is z less than or equal to 10/9?
False
Suppose -79 - 53 = -12*z. Suppose z*n + 32 = 10. Is n < 20?
True
Suppose -5*t = -4*d - 106, -4*d + 38 = -0*t + 3*t. Let k(o) = 9 - 9 - t + 8*o + o**2. Let c be k(-8). Which is smaller: -19 or c?
-19
Let h = 61 + -7. Let j = h + -57. Which is bigger: j or 2/9?
2/9
Let l = 2 + 6. Let j(k) = 6*k - 42. Let b be j(l). Are 6 and b unequal?
False
Let u = -32 + 3. Let f = -31 - u. Is f not equal to -2?
False
Let z(o) = -o**2 + 12*o - 3. Let h be z(12). Let m be (h + (-56)/(-16))/(2/(-28)). Suppose 0*k + 5*k = -35. Is k less than m?
False
Let r = -269 + 251. Are -123/7 and r equal?
False
Let v(f) = 10*f - 28. Let x be v(9). Let b = x + -62. Is 2/83 equal to b?
False
Let u(q) = -3*q. Let n be u(1). Let w be (-6)/(-8) + 10/40. Suppose h + 3 + w = 0. Is n bigger than h?
True
Suppose 2*y + 9 = 3*t - 25, -2*y - 10 = 0. Suppose 0 = -t*b + 42 - 202. Do -22 and b have the same value?
False
Let m(v) = v**3 + 6*v**2 + 1. Let c be m(-6). Suppose -k - c + 3 = 0. Suppose 2*a - 2*u + 4 = 0, 3*a - 1 = k*u - 9. Which is smaller: a or -2/7?
a
Suppose 2*f - 123 + 3 = 3*w, -5*w - 290 = -5*f. Let a = 429 - 376. Which is greater: f or a?
f
Let i(s) = s**2 - 16*s - 4. Let v be i(12). Let o = 57 + v. Which is smaller: -1/7 or o?
-1/7
Suppose s + 0 - 5 = 0. Suppose -s*i + 3*i = -12. Let q be 39/26*8/i. Is q > 1?
True
Let x(u) = 13*u + 17*u + 28 - 12*u + 18. Let q be x(-5). Is 2/3 at least q?
True
Let y be (-79)/(-1 + 3/4) - -2. Let s be 6/(-2) - y/(-108). Is 0 not equal to s?
True
Suppose a - 4*f = -0*a - 134, 5*a + 628 = -f. Is -126 < a?
False
Let q be 2 + 0 - 1136/569. Is q greater than 1?
False
Suppose 3*x - 5*s = -4*s + 74, 4*s - 104 = -4*x. Let c(h) = h**2 - 4. Let n be c(3). Suppose 5*f = n*r - x, -4*r - 2*f - 2 = -2*r. Which is greater: r or 4?
4
Let a(x) = -x**2 - 25*x - 137. Let q be a(-17). Is 316 smaller than q?
False
Suppose -2 = 2*x - 3*x. Let a be (x - 1)/(8/(-8)). Let j be (1 - a)*(-2)/(-12). Which is greater: 7 or j?
7
Let a = -17 + 11. Suppose -2*p + 8*b - 14 = 4*b, -15 = 2*p - 3*b. Let k(y) = -y**2 - 9*y - 5. Let l be k(p). Which is greater: a or l?
l
Let z = -12370/27 - -458. Suppose -5*w - 2*n = -n - 3, -4*w - n = -2. Which is smaller: w or z?
z
Let q(u) = -6*u - 93. Let k be q(-39). Is k != 140?
True
Let d be 6/4 + (-12)/24. Let a be (d/5)/(-4 + 106/5). Is a >= 0?
True
Let j be 0 + (18 - 10)/(1*2). Suppose 0 = j*q - v - 1, 5*v + 11 - 31 = -5*q. Let s be (1 - 2)*(-2)/18. Which is smaller: s or q?
s
Suppose -h + 459 = 3*i + h, -3*h = i - 146. Let q = i - 67. Is q <= 88?
True
Suppose 0 = -0*c - 3*c + 96. Let j = c + -39. Which is bigger: j or -8?
j
Let y = 86 + -43. Let z = y + -45. Which is smaller: z or -6/7?
z
Let m be 62/(-2)*21/21. Do m and -32 have the same value?
False
Suppose 5*f - 5*z = -175, 3*f + z + 89 = -20. Is f >= -41?
True
Let g = 79 + 30. Let v = -341 + g. Let b = v + 473/2. Is b greater than 6?
False
Let h be (-3)/1*(-9)/(-30). Let f = -2/5 - h. Which is smaller: 0.3 or f?
0.3
Suppose 33*g - 285 = 18*g. Is 24 at least as big as g?
True
Suppose -19*p - 5*w = -15*p - 103, 4*p - 97 = -3*w. Are p and 24 unequal?
True
Let q(w) = 2*w - 7. Let j be q(-4). Let g = j - -26. Is 10 less than or equal to g?
True
Let b(u) = 5*u**2 + 30*u + 3. Let a be b(-6). Let f be (-260)/(-6) - ((-10)/a)/5. Is f != 46?
True
Suppose 0 = 8*t + 132 + 268. Let c be (-44)/66 - 34/t. Which is smaller: 0 or c?
0
Let s(p) = -p**3 - 5*p**2 - 2*p - 4. Suppose 7*i - 2*i - 90 = 0. Let d = -22 + i. Let z be s(d). Which is smaller: z or -11?
z
Let v = 469 - 447. Is v at least -2?
True
Let m be (-18)/(-24) + 4*3/48. Is 1/359 at most m?
True
Suppose 6 = 1175*x - 1169*x. Which is smaller: -68.2 or x?
-68.2
Let c = -39.3 - -0.3. Let f = 39.17 + c. Let v = f - 0.15. Which is bigger: v or 0.1?
0.1
Let b(f) = 30*f**2 + 4*f - 6. Let m be b(2). Suppose 2*w = 46 - m. Which is smaller: -39 or w?
-39
Suppose -3*y = -7*y. Suppose 0 = -y*q + 3*q - 12. Suppose -m = q, -3*i + 8 = -4*m + 2*m. Which is bigger: i or -0.1?
i
Let k = -20 - -82. Suppose 5*i = 3*i + 4*u + 60, 0 = -2*i + 5*u + k. Which is smaller: i or -1?
-1
Let m be (-165)/63 - 2/(-7). Let h be (-4)/(-10) - (259/35 - 6). Which is greater: h or m?
h
Let t be (-