 0.1 nonequal?
True
Let d be 774/12*(-12)/9. Let a = -56 - d. Do a and 30 have different values?
False
Let o be 43*(2/10 - (-30)/(-25)). Let g = o + 62. Which is bigger: 17 or g?
g
Let l(w) = -2*w - 2*w + 2*w + 7. Let n be l(5). Is n at most as big as -3?
True
Suppose -2*a + 3*b = -43 + 31, 5*a = -b - 4. Which is bigger: a or 86?
86
Suppose 0 = 158*v - 162*v - 8. Let g be ((-6)/((-144)/(-88)))/(v/(-18)). Is -34 bigger than g?
False
Let d = 1110 + -1111. Which is smaller: d or -3/464?
d
Let d be 156/(-105) - 6/(-21). Suppose -h - 3*h + 3*u - 17 = 0, -u + 1 = h. Does d = h?
False
Let h(r) = -8*r. Let z be h(1). Let y = z + 26. Suppose 0 = 4*l - 3*u + 20, -y = -l - 4*u - u. Which is greater: -3/4 or l?
-3/4
Let k be 10/6 - (-2 + (-8)/(-3)). Which is bigger: k or -50?
k
Let a be 2 + -1 + (-4 - -6 - -29). Let c = -6 + a. Do 26 and c have the same value?
True
Let n be 2/(-8)*224/(-9). Is n bigger than 7?
False
Let g be 4 - 204/18 - -7. Let n = -1 - -1. Let r = n + -10. Which is smaller: g or r?
r
Let b(q) = q**2 - 3*q + 9. Let g(h) = -h**3 + 18*h**2 - 16*h - 11. Let i be g(17). Let w be b(i). Let o be 1*(1 + w/3). Is o at least as big as 10?
True
Let w = -51 + 54. Let f be 38/w - (-6)/(-9). Is 13 less than or equal to f?
False
Suppose 3*a + 10 = 91. Suppose 0*x - 4*j + a = 5*x, 5*x = -2*j + 21. Which is smaller: -2/9 or x?
-2/9
Let m = -60.7 - -60.29. Which is bigger: -3 or m?
m
Let n = 830299/172 + -10366/43. Let l = n + -71589/16. Let g = -112 + l. Which is smaller: 0 or g?
g
Suppose -4*q = v - 130 - 67, 0 = q - 4*v - 45. Let h = q + -45. Is 6 smaller than h?
False
Let f(l) = l**2 + 1 + 0 + l + 1. Let t be f(-2). Suppose 0*p = -6*p + 6. Which is smaller: t or p?
p
Let x be 6*(-2 + 60/27). Let h = -0.1 + -0.03. Let l = h - -0.03. Which is smaller: x or l?
l
Suppose -6*m + 12 = -24. Let y be 2/((-6)/9) - (-22)/m. Which is greater: y or -8/3?
y
Let j be (-6)/9 - (-22)/6. Suppose j*r = r + 32. Which is bigger: 17 or r?
17
Suppose -p - 2*q - 5 + 13 = 0, 4*p = -4*q + 16. Let r = -30 + -17. Let y = 142/3 + r. Which is smaller: y or p?
p
Let d = 22 - 5. Suppose 2*t = 3*q + d, 0 = -2*q - 2*t + 3*t - 10. Let h be 4*3*(-1)/q. Which is bigger: h or 3?
h
Let s be (-5)/((-125)/65) - 3. Are s and 3 unequal?
True
Let i be 1*4/(-4)*0. Suppose 4*j + 0*j = 5*h - 25, 2*h - j - 13 = i. Let l(f) = f**3 + 5*f**2 - 8*f - 3. Let c be l(-6). Is h at least as big as c?
True
Suppose 4*k - 35 = 5*n, 0 = 2*k + 3*n - 5 + 4. Which is bigger: k or 69?
69
Suppose 6*j = 65 + 7. Which is greater: j or 16?
16
Let r(f) = -f**3 - 10*f**2 + 3*f + 36. Let s be r(-9). Let n be ((-1)/(-23))/((-12)/s). Which is smaller: n or 1?
n
Let w = 5954 + -53756/9. Which is bigger: w or -18?
-18
Suppose 3*u + 0*u = 21. Let i be (-72)/(-462)*u/2. Is 1/4 >= i?
False
Let s be 53*24/2373 + (-4)/7. Which is smaller: -1 or s?
-1
Let h(p) = -36*p + 395. Let q be h(11). Are -3/989 and q non-equal?
True
Let w = 418.1 + -396. Let i = w + -22. Is -8/11 <= i?
True
Let f(v) = -v**2 + 39*v + 28. Let c be f(32). Is c equal to 253?
False
Let n(b) = 6*b - 30. Let z be n(3). Which is greater: -13 or z?
z
Suppose 0 = 3*k - 3*d + 6, k + 4*d = -0*k + 18. Suppose 12 + 2 = k*z. Which is bigger: z or 9?
9
Let r be (-1)/5*(-25 - -28). Is -0.1 smaller than r?
False
Let k = -80.1 - -80.5. Is k smaller than 157?
True
Suppose -2*m + 86 = 112. Suppose 0 = -5*g + 5*u - 50, 3*g + 26 = 2*u + 3*u. Which is greater: m or g?
g
Let w = 1474.87 - 1475. Suppose n - 4*t - 19 = 0, 0*n + n - 14 = 3*t. Does w = n?
False
Let l be (-1)/1 + 20/70. Let d be ((-1)/2)/((-1)/(-2)). Which is smaller: d or l?
d
Suppose 90 + 53 = b. Is b smaller than 143?
False
Let q(k) = 4*k**2 - 3*k + 2. Let z be q(3). Suppose 173 + 349 = -18*f. Let o = z + f. Which is smaller: 2/19 or o?
o
Let x be ((-2)/8)/(27/7596). Let z = x - -71. Let d = -7/15 + z. Are d and 0 nonequal?
True
Suppose 0 = -5*w - 8 + 43. Let b = 10 - w. Suppose 1 = 3*u - 8. Is u >= b?
True
Let a = -288 + 289. Is 7/9 greater than a?
False
Suppose -3*i - 3*i = 36. Let b(d) = d**2 + 5*d - 7. Let o be b(i). Which is bigger: 0 or o?
0
Let x = -19 + 18. Let n = -3.9 + 5. Which is smaller: x or n?
x
Suppose -3*f + 1 = -5*x, 36 = -4*f + x + 9. Let p be (-4)/(-2) - 0/f. Suppose 4*q = -p*l + 34, 5*q - 5*l - 65 = -0*l. Which is bigger: q or 9?
q
Let m(v) = -v**2 - 11*v - 2. Let j be m(-12). Let p = 16 + j. Let d be 1/(-1)*0/p. Is d < 2/5?
True
Let l = -101 - -154. Let g(u) = -u**2 - 13*u + 15 + 26 - l. Let a be g(-12). Is 6/17 <= a?
False
Let l = 0.1 + -25.1. Let j = -19 - l. Let f = -0.2 - 0.8. Is f < j?
True
Let o be 15/20 + 396/(-16) + -1. Is -24 bigger than o?
True
Let z = 1040024/283 - 3675. Is 1 < z?
False
Let s be (16/(-4))/4*39/36. Are -2 and s equal?
False
Let x be (-179604)/25668 - 7*-1. Is 0 greater than x?
False
Let q(l) = l**3 - 3*l**2 + l + 2. Let k(s) = -4*s - 1. Let m be 0 + 2 - (-1 - -4). Let a be k(m). Let j be q(a). Is 5 greater than or equal to j?
True
Let h = -856 + 877. Which is greater: 19 or h?
h
Let p be 39/(-13) + -19*1. Let a be (p/10)/((-1)/5). Let f = a + -17. Which is greater: -3 or f?
-3
Suppose 0 = -4*g - 84. Let l = -16 - g. Which is bigger: l or 3?
l
Suppose -9 + 1 = -4*h. Suppose 0 = -q - h*q - 3*t + 24, -3*t = -2*q + 1. Is 10 greater than or equal to q?
True
Let b = 37 + -33. Let g be 0*(b + 0 - 3). Which is greater: 3/28 or g?
3/28
Let s(m) = -m**2 - 10*m - 4. Let b be s(-9). Let h be -5 - (-4)/(-6)*-3. Let r be -2 + 8/4 - h. Which is greater: b or r?
b
Let d(z) = z**3 - 5*z**2 - 6*z - 2. Suppose -6 = -w - 0*w. Let y be d(w). Suppose 2 = 90*j + 362. Do j and y have different values?
True
Suppose 16 = 3*p - p. Let w = 7 - p. Is -0.2 equal to w?
False
Let v = 787 + -50365/64. Is -1 smaller than v?
True
Let j = 0.0706 - 1.0706. Which is bigger: j or -14/17?
-14/17
Let t = 0.7 - -6.3. Let y = 7.03 - t. Let u = 3.97 + y. Which is greater: -1 or u?
u
Let p = 5333/14 + -381. Let r = -1 - 1. Let z = r - -1.9. Which is greater: p or z?
p
Suppose 2*f + 5*o = -35 - 8, -5*o = -2*f + 7. Let x be 372/27 - 10/(-45). Let z = 55/4 - x. Is f greater than z?
False
Let s = 19821 + -614505/31. Is s at most -1?
True
Suppose 270 = 4*q + q. Suppose 8 = 4*k - h, -4 = -2*k + 14*h - 12*h. Let f be k/(-4) - q/(-124). Which is bigger: 0.2 or f?
0.2
Let m(z) = -z**3 - z**2 + z - 2. Let r(d) = -4*d**2 - 12*d - 5. Let p(h) = -m(h) - r(h). Let b be p(-5). Which is greater: -46 or b?
-46
Suppose -5*c + 10 = 0, -o - 2*c - 2 = c. Let l(v) = -26*v + 2. Let i be l(-1). Suppose i + 8 = -4*k. Which is smaller: k or o?
k
Let f = 59 - 101. Let j = f + 40. Is 2 smaller than j?
False
Suppose -8*u = -3*c - 4*u - 94, -3*c + 2*u = 92. Which is smaller: -0.3 or c?
c
Suppose -5 = c - 2*a, 5*c + 0*a - 50 = -5*a. Suppose -5*r + 5*v + 11 = 4*v, -7 = -5*r + 2*v. Suppose r*h - 13 = 5. Is h at least c?
True
Let o be ((-27)/7 - -3)*-7. Let s be (o + (1 - -2))*-47. Let f = -8035/19 - s. Is -2 less than f?
True
Let r(s) = -s**2 - 6*s + 5. Let x be r(-7). Let t be -18 + 3 - (6 + x). Let l be 2/(-4)*4/t. Is 1 > l?
True
Let v = 159 + -155.88. Let q = v - 0.12. Let u = 2.9 - q. Is u < 1.4?
True
Suppose 16 = y + 17. Let t be 0/y*(-18 + 17). Is t greater than 1/97?
False
Let u be 21/(-7)*5*(-4)/(-666). Which is smaller: u or 1?
u
Let r = -699/14 + 99/2. Let z = -879 + 875. Is r not equal to z?
True
Let r be (-9)/(-12) - (-153)/4. Suppose -2*d - d - 32 = 5*z, 5*z = 4*d - r. Let w be (-6 - z)*(-1)/(-11). Which is smaller: -2/9 or w?
-2/9
Suppose 0 = 5*k - 5*o + 5, 9 = 2*k - 3*k + 5*o. Let x(q) = -8*q**2 + 2*q + 1. Let c be x(-1). Let z be (-4)/(-18)*c/57. Is z at most k?
True
Suppose 19*j + 40 = 15*j. Let h(k) = k**3 + 12*k**2 + 19*k - 8. Let o be h(j). Is 2 >= o?
True
Let f(t) = -t**3 + 11*t**2 - 11*t + 5. Let j be f(9). Let l = -886/13 + j. Which is smaller: 0.1 or l?
l
Suppose 14*a + 71 = 13*a. Is -69 < a?
False
Let m = 57.6 + -57.6. Is m at most 5?
True
Let r be -3*((-25)/(-5))/(-5) - 4. Let j = 13/84 - 5081/30660. Let t = -2948/2555 - j. Which is smaller: r or t?
t
Let d = 3534008/7035 + -32806/67. Let w = -88/7 + d. Which is smaller: 0 or w?
0
Let p(h) = -h**3 - 4*h**2 + 10*h - 5. Let f be p(-6). Which is smaller: 17 or f?
f
Let h be (-143 - 0) + (-33)/(-11). Is -140 equal to h?
True
Let p = -56 + 56. Suppose -h = -p*h. Is h a