 smaller: s or x?
x
Let x = 209 - 304. Let g = 95 + x. Which is bigger: -5/27 or g?
g
Suppose -3*r + 0*l + 67 = -l, 5*r - 112 = 2*l. Suppose -24*y = -r*y - 2. Is -1 greater than or equal to y?
False
Let v = 927.9 - 928. Which is smaller: -3 or v?
-3
Let v be (-5)/3*(1 - 4). Let c(i) = i**3 + 4*i**2. Let k be c(-4). Suppose v*q - 10 + 15 = k. Is q bigger than 1/9?
False
Let k = 0.1 - -1.9. Let b = 0.24 + 0.01. Let n = b - 0.25. Is n less than k?
True
Let k be 1 - (0 - 2/(-7)). Let a(n) = 5 + 0 - 3 + 2*n - 4. Let q be a(2). Which is smaller: k or q?
k
Let t(d) = 45*d - 6. Let o(v) = v. Let m(i) = -6*o(i) + t(i). Let f be m(-7). Let r = -4741/17 - f. Which is greater: 0 or r?
r
Suppose -4*j + 5*w = -1, 4*j + 26*w + 9 = 21*w. Which is smaller: j or -3/1204?
j
Suppose 0 = -3*a - 4*n - 143, 3*a - 1 = 4*n - 128. Is -2/7 at most a?
False
Let w = -77692/77 + 1009. Let f = w - -71/462. Let k(y) = y + 3. Let m be k(-4). Which is greater: f or m?
f
Suppose 5*u - 29 = -149. Let z be u + 17 - (1 + -1). Is -6 less than z?
False
Let p be (-1 - 5310/(-5306))/(8/14). Is p <= 1?
True
Let p(d) = 1. Let n(y) = y - 17. Let q(v) = -n(v) - 5*p(v). Let r be q(6). Let t = 7 - r. Do -8 and t have different values?
True
Suppose 2*q + 2*v - 4 = 3*v, -v - 2 = 0. Let u = 8 - -1. Suppose -2*o = -9 - u. Is o at most q?
False
Let d = -15 - -11. Let u be 300/145 + d + 2. Suppose 0*a + h + 2 = 4*a, -8 = -3*a + 4*h. Which is smaller: u or a?
a
Let o = -3 - -29. Let b = 0 - o. Which is smaller: b or -28?
-28
Suppose -o + 264 = 4*n, 3*n - 4*o - 19 - 160 = 0. Is n < 65?
False
Let q = -155 + 157.9. Let x = -24.9 - -21. Let z = q + x. Which is greater: z or 0.2?
0.2
Let f be (23/(69/12))/(4/18). Does 16 = f?
False
Suppose 9*b = -2283 - 471. Are b and -308 equal?
False
Let m(x) = -2*x**2 + 4*x + 6. Let i be m(-3). Let h be (-12)/(-42) - i/14 - 2. Which is greater: h or -8?
h
Let d = 12545/16 + -785. Let x = 287/272 + d. Is x >= -1?
True
Let d be ((6/9)/2)/(17/(-51)). Which is smaller: d or -14/11?
-14/11
Let s be ((-10)/(-74) - 0)*(-15)/(-75). Let n = -3 - -4. Which is smaller: s or n?
s
Let b = -11.2 - 43.6. Let h = b - -55. Which is smaller: -10 or h?
-10
Suppose -4*k = 221 + 163. Let j = k + 284/3. Is -1 greater than j?
True
Let r be ((63/(-1162))/9)/((-5)/(-10)). Which is greater: r or 0?
0
Let h(o) = o**3 - 4*o**2 + 2*o + 3. Suppose 5*t - 36 = -7*t. Let s be h(t). Is s <= 4/5?
True
Suppose 233 = 7*r - 432. Which is smaller: 3 or r?
3
Suppose 0 = 2*v - 3*i + 10, -5*v - 28 + 3 = -2*i. Let h = v + 8. Let b be 5/(-2) - (-12)/h. Which is greater: b or -0.1?
b
Let r = -20.11 + 18.11. Which is smaller: -9.6 or r?
-9.6
Let a = 583 + -479. Are 105 and a equal?
False
Let d = -14.2 - -0.2. Let i = 9 + d. Let v be 4/(-6)*2/4. Which is smaller: i or v?
i
Let w(c) = c**2 + 10*c + 17. Let f be w(-7). Let g be (1 - (-5 - f)) + 1 + 0. Let j = 2 + 3. Which is smaller: j or g?
g
Let h = -15 + 41. Let a(l) = 7*l - 12. Let w be a(3). Suppose -41 - w = -2*b. Is b < h?
True
Let q = 0.1257 - -14.3743. Is 1 at least q?
False
Let a = -5468/48307 + 11/103. Which is bigger: a or 0?
0
Let l be (-9)/(-9)*1/(-137). Let z = l - -565/2329. Which is smaller: 0 or z?
0
Let n = -11 - -577/57. Is 0 at least as big as n?
True
Let w = 640 - 602. Which is smaller: w or 37?
37
Let q be (-16)/192*39 + 2/8. Which is bigger: q or 18?
18
Let c be (-526)/77 - (-18)/63. Let b = -379 + 373. Do c and b have the same value?
False
Let v(h) = h - 8. Let r = -12 + 17. Let w be v(r). Let y be ((-63)/12 - w)/6. Is 1 smaller than y?
False
Suppose 27*t + 9 = 36. Let f = -15/181 - -1399/8145. Let z = 1/9 + f. Which is smaller: t or z?
z
Suppose -157*j + 133*j = -648. Which is greater: 6 or j?
j
Let q(l) = l**3 - 7*l**2 + 7*l - 6. Let r be q(6). Let g = 211/6 + -2779/78. Which is smaller: r or g?
g
Let z be 4428/68 + 6/(-51). Let c be (-31)/z - (-6)/15. Which is smaller: c or -1?
-1
Let h be 1 - 534/144 - 2/(-6). Let y = 5/2 + h. Do y and 0.3 have different values?
True
Let r = 5778/11 + -525. Which is smaller: -5 or r?
-5
Suppose 5*a - a = 180. Suppose -3*v = -4*x - 107 - 35, -3*v = 4*x - 134. Which is smaller: a or v?
a
Suppose -d = -3*f + 4, 4*d + 56 = f + 18. Let j be (-8)/20*d/6. Which is smaller: 0 or j?
0
Let x be 38*(3/2 + -1). Let n(s) = s**3 + 4*s**2 + 18. Let k be n(-4). Is x greater than k?
True
Let u = -97 + 227.7. Let s = u + -131. Let r be -1*(-3)/((-6)/8). Which is smaller: s or r?
r
Let b = -0.7 - -0.5. Let u = 32 + -35.8. Let s = -4 - u. Is b less than s?
False
Let r = -5731/6 - -42271/42. Let j = -51 + r. Which is smaller: j or -1?
-1
Suppose -3*c + g = 58, -3*g = 2*c - 0*c + 24. Let w = -50 + 33. Do w and c have different values?
True
Let d be 0 - (60/(-10) + (0 - 0)). Let a = 328/3 + -102. Which is smaller: a or d?
d
Let r be 0 - (-2 + -1 - -4). Let i be r*(-3 + 1 + 19). Is -16 greater than or equal to i?
True
Suppose -11*y = -12*y + 55. Suppose -5 = 12*u + y. Which is smaller: -6 or u?
-6
Let m be (1/(-5) + 0)*(-110)/(-1012). Let f be 4/6*54/(-9) - -3. Are f and m unequal?
True
Suppose 5*t - 3*t - 8 = -2*m, -2 = -2*t. Suppose 6*y = m*y + 24. Is 1/2 >= y?
False
Let x = 1195.1 - 1195. Let c = -0.1 - -0.14. Let p = 9.04 - c. Do x and p have different values?
True
Let n be -6*(32/12 - 3). Suppose -3*d - n = -4*d. Suppose -5*y = d*l - 13, 0 = 5*l - y - 33 - 13. Do 8 and l have different values?
True
Let w = 15632.9 - 15633. Suppose 3*r + r - 36 = 2*l, 2*l + 5*r = -9. Let g be ((-3)/(-14))/(l/(-16)). Do g and w have different values?
True
Let g(y) = y**3 + 4*y**2 - 8*y - 4. Suppose -15 = 3*q - 0*q. Let c be g(q). Suppose -c = 5*i + 9. Is -4 bigger than i?
False
Let b = 1 - -3. Let v be (-3)/(2 + 1) + b. Suppose 4*h = v + 1. Is 1/12 != h?
True
Suppose 246 = -21*a + 24*a. Are 0 and a equal?
False
Let i = 0.36 - -0.04. Let b = -0.05624 - 0.94376. Which is greater: i or b?
i
Let b(z) = z**2 + 10*z + 2. Let t be b(-10). Let u be t/(-14)*(-42)/12. Let m = -3/98 + -145/1666. Is u equal to m?
False
Suppose -33 = -2*w - 3*n - 2*n, 0 = -2*w - 3*n + 23. Suppose w*s + 9 - 5 = 0. Which is smaller: s or 4/13?
s
Let p = 0 + 1. Suppose 4 = 2*k - 20. Let b be 1 - (-8)/k*3. Is b less than p?
False
Suppose 5*o = 2*w + 2*w + 2441, o + 2*w - 491 = 0. Is o < 489?
False
Let k(b) = b**3 + 5*b**2 + 5. Suppose m + 2*m + 15 = 0. Let a be k(m). Let z(g) = g - 5. Let w be z(9). Which is bigger: a or w?
a
Suppose 9 = -3*v, 0 = -5*g + v + 17 + 26. Let a be 1/(1/(-3))*(0 - 3). Are a and g non-equal?
True
Let v = -12 + 11.8. Let h = -15.6 + -0.4. Let m = h - -19. Which is bigger: v or m?
m
Let z = -31.0181 + 0.0181. Is z not equal to -0.8?
True
Suppose -116 = 154*p - 158*p. Let l = -2 + 4. Suppose l*w + 13 = -0*a - a, 5*a + p = -w. Which is greater: w or -10/3?
-10/3
Let v = -114.8 + 115. Suppose 0*r + 8 = 2*r. Let l be 1/r + (-66)/456. Is v <= l?
False
Let m be (396/81)/11*-12. Let u be 2/8 + (-25)/4. Which is bigger: m or u?
m
Let i be (-30)/135*(-3)/(-101). Is 0 < i?
False
Let p = -27 - -27.33. Let x = p - 1.13. Which is greater: x or -1/3?
-1/3
Let r = -6 - -28. Suppose 0*u = 3*d - 5*u - r, -24 = -4*d + 4*u. Suppose 3 = q + j, -q = -2*q + d*j - 2. Is 0 less than q?
True
Let j = -205 + 205. Let q = -743 + 33433/45. Which is smaller: j or q?
q
Let h be (-421)/4 + (-11)/(-44). Let p be (24/(-45))/((-18)/h). Which is greater: p or -2?
-2
Let d = -10 + 4. Let g be 26 + d/(-3)*-1. Let n(q) = -25*q**3 - q**2. Let y be n(-1). Are g and y unequal?
False
Let j(d) = -2*d**2 + 7 - 26*d + 18*d + 55*d - d**2. Let u be j(16). Which is bigger: -100/11 or u?
u
Let u = -42590/23 - -1852. Is -1 at most u?
True
Let h(q) = 36*q + 7. Let v be h(3). Which is smaller: 2/3 or v?
2/3
Let l = 1359 - 4079/3. Do l and 359 have the same value?
False
Let i = 0.064 - -0.206. Let j = 0.37 - i. Which is bigger: -11 or j?
j
Let y(g) = 11*g - 159. Let t be y(10). Is -49 <= t?
True
Suppose -3*s - 2*k - 8 = 0, 2*k - 6*k = -4*s - 44. Let c be (19 + -16)*4/s. Do -4 and c have different values?
True
Suppose 0*m + m - 4*n = 598, 0 = -2*n. Is 597 equal to m?
False
Let k(w) = -w + 3. Let t be k(-3). Let g = t + 12. Let y = g + -25. Which is bigger: -8 or y?
y
Let w be (-4)/12 + 234/(-88) + 3. Is -1 >= w?
False
Let t = -17 + 30. Suppose t*x = 6*x. Is -3/17 > x?
False
Suppose -4*j - 4 = -6*j