 value?
False
Let g be (11 + 1)*1/2. Suppose g - 1 = 5*x. Is x bigger than 0?
True
Let t be ((-2)/6)/(1/3). Let h = -1 + 0.4. Let v = h + 0.7. Is t smaller than v?
True
Let j = 31 + -30. Is -6 >= j?
False
Let n(f) = -1 + 1 + 0 - f + 2. Let y be n(0). Which is smaller: 1 or y?
1
Let h = -5115/17 + 301. Which is smaller: h or 1?
h
Let b = 4 + 0. Suppose -33 = -b*m - 2*p - 3*p, 0 = 4*m + 4*p - 28. Which is smaller: m or 3/4?
3/4
Suppose 5*t = 4*w + 14, 0*w + 12 = 4*t - 4*w. Let y be (2 + -4)/(-2 - t). Is -1 > y?
False
Suppose -f + 1 = -j, -5*f + 2 = j - 3. Which is smaller: 1/16 or j?
j
Let d = -11 + 7. Let x be ((-3)/d)/((-6)/(-360)). Let f be -9*(-3 + 132/x). Which is bigger: f or 1?
1
Let b(l) = -l**3 - 7*l**2 - 5*l - 2. Let k be b(-6). Let z = 3 + k. Is z bigger than -6?
True
Let l = 53 - 74. Let k = 3 + 5. Let b be 6/l*k + 3. Is 1 <= b?
False
Suppose 0 = -3*j, f + j + 3 = -0*f. Suppose 2*z - 6 = -0*z, 0 = 2*k - 3*z - 7. Let w be -4 + (-2 - k/(-2)). Which is bigger: w or f?
w
Let x(p) = 6*p - 9*p**2 - 9 + 10*p**2 - 4*p + 4*p. Let i be x(-8). Which is greater: 0 or i?
i
Let x(q) = -q**3 + 3*q**2 - q. Let l be x(3). Is -13/6 >= l?
True
Let y = -347/198 - 8/99. Is -1 not equal to y?
True
Let l = 4 - 3. Suppose 0 = j - 0*j - l. Which is smaller: 0 or j?
0
Let l = 17 + -8. Let b be l/6*2/3. Which is smaller: b or 2/5?
2/5
Let r = 0.9 - 3.9. Let w = 8 - 8.3. Let p = w + 0.4. Is p greater than r?
True
Let y = 21 - 26. Which is greater: y or 6?
6
Suppose 4*i - 4*j + 48 = 0, -j + 5*j - 12 = i. Let o be (-16)/56 - i/(-7). Which is smaller: 1 or o?
o
Let c be -1 - ((-8)/12 - 1) - 1. Is c > 30?
False
Suppose -3*h = -b + 2, -2 = -5*h - 12. Let z be 7/b - 6/24. Which is greater: 2 or z?
2
Let w be ((-1)/(-3))/((-2)/6). Let f = -1526 - -129712/85. Let j = f - -77/340. Which is bigger: w or j?
j
Let c be (656/1032)/((-8)/(-18)). Let f = -3/43 - c. Which is smaller: -3 or f?
-3
Let r be 38/(-14) - (-1 - 2). Is r at least as big as -1?
True
Let h = -9 + -9. Let z = h - -10. Let p be 1/(-4) - z/16. Which is smaller: 3/2 or p?
p
Let v be 0/(-2)*3/9. Let c be 1/4 + 19/4. Suppose c*j = j. Is j > v?
False
Let l = 0.3 - -1.7. Let c = l + -1.9. Let j = 93 + -88. Is j at most c?
False
Let s = 16 + -14.3. Let d = s + -1.73. Is d at most as big as 1?
True
Let j = 4/7 - 2/7. Do j and 2.4 have different values?
True
Suppose -n + 3 = 6. Let k be 0 - n/4*-2. Which is bigger: -3 or k?
k
Let m(p) = -p**2 - 9*p + 2. Let y be 1 - -1 - 8*1. Let h be m(y). Suppose -4*f - f = h. Which is smaller: -6 or f?
-6
Suppose j = 5*n - 30 - 3, 0 = 5*j - 3*n + 77. Is j greater than -15?
True
Suppose 4*x + 32 = -3*h, 4*x + 69 - 45 = -h. Suppose 2*y - v - 7 = -0*y, -2*y - 2*v - 2 = 0. Let l be y/4 - 22/4. Do h and l have the same value?
False
Let h = -16 + 36. Let i = 12 - h. Let r be (-6)/i + 0/(-2). Which is greater: r or 2?
2
Let w = -9 - -4. Which is smaller: -2 or w?
w
Let c(b) = -b**2 - 3*b - 2. Let z be c(-2). Let m = z + 2. Suppose r - m = -r. Which is smaller: r or 1/8?
1/8
Let i = 7 - 7. Suppose 0 = 3*m - 4*m. Is m equal to i?
True
Let f = -1369/24 - -57. Is -1 greater than f?
False
Let s = -484/1235 + -2/247. Which is smaller: -0.02 or s?
s
Suppose 2*v + 5*u + 84 = -21, -v - 55 = 5*u. Is -51 bigger than v?
False
Suppose 180 + 81 = 3*x. Let v be (-12)/16 + x/36. Let g(w) = -3*w - 1. Let c be g(-1). Is c < v?
False
Suppose 4 = -5*t - 6. Is -9 greater than t?
False
Let m be 14/6 + 2/(-6). Is m > 5?
False
Suppose -5*n + 20 = 3*y, -4*n - 1 = -3*y + 10. Let z be 22/6*3*n. Suppose -5*q = -l + 21, 3*q - q + z = 3*l. Are 1/3 and l unequal?
True
Suppose -2*h + 27 = h. Which is smaller: h or 1/2?
1/2
Suppose 2*h = 2*t + 4, -4*h + 5*h + t = -2. Which is greater: h or -0.2?
h
Let q = -0.7 + 1.7. Which is smaller: q or 0.26?
0.26
Suppose -16 = 4*y - 4*x, 0 = 2*y - 4*y + 5*x - 20. Let k = -27 + 23. Is k smaller than y?
True
Let h(w) = w**3 + 10*w**2 - 13*w - 15. Let t be h(-11). Which is smaller: t or 6?
6
Let l = -0.05 + 0.25. Which is bigger: l or -3/10?
l
Let a = -5.2 + -1.8. Let v = a + 6.4. Let z = v + 0.6. Which is smaller: 2/11 or z?
z
Let k be -1*(-5 - -3 - -3). Let q be ((-9)/6)/((-3)/8). Let v be (-2)/q*(-4)/6. Which is smaller: k or v?
k
Let n = 3.8 + -0.8. Let o = -6 + 6. Which is greater: n or o?
n
Suppose -4*m + 100 = m. Let i be (-2)/(-2) - 22/m. Do i and 0 have different values?
True
Let s = 43 + -42.7. Is s greater than 2?
False
Let f = 30.94 - 31. Which is smaller: f or -0.2?
-0.2
Let g = -78 - -155/2. Which is bigger: -5 or g?
g
Suppose 2*b = 6*b - 4*p, 0 = 5*p. Let x = 2 - b. Is 1 at least x?
False
Suppose 50 = -2*i + 7*i. Let q = 4 - i. Let k be (-3)/9 - 3/q. Is k at most as big as 0?
False
Let w = 76 - 70. Which is smaller: 1 or w?
1
Let p = -9.3 + 9.5. Which is bigger: p or -10?
p
Let v = 1.63 - 0.63. Let a = 5 - 2. Are a and v non-equal?
True
Let i be (1768/(-20))/(10/(-2)). Let l = i - 27/25. Let k = l + -16. Which is smaller: k or -1?
-1
Suppose -4*q = 2*p + 26, 35 = -2*q - 3*q - 3*p. Let r be 7/(42/15)*-2. Is r smaller than q?
True
Let t = 4879/2 + -2373. Let h = t - 64. Suppose -16*y = -10*y - 12. Do h and y have the same value?
False
Suppose -17 = -3*z - 2*z - 4*b, 5*z = -5*b + 15. Suppose 0 = -h - z, 4*l - 2*h - 19 = h. Which is bigger: l or -1?
l
Suppose 5*u - i - 19 = 0, 0 = -4*i + 8 - 24. Suppose -u*f = 5*c - 2*f + 4, 2*f = -2*c. Is 0 not equal to c?
True
Let a = -5 + 12. Are 3 and a equal?
False
Suppose -3*u - 5 = 4*h + 3, 5*u = -5*h - 10. Which is greater: u or 1/23?
1/23
Suppose 45 = m + 416. Let k = -6305/17 - m. Is k > 1?
False
Let d(a) = -2*a**2 + 33*a - 9. Let h(b) = b**2 - 16*b + 5. Let t(f) = 6*d(f) + 13*h(f). Let s be t(8). Which is bigger: -4 or s?
-4
Let b be (-4)/(-12) - (-8)/(-6). Let y(x) = -3*x - 2 - 7*x + 4*x. Let o be y(b). Is 5 bigger than o?
True
Suppose -7*u = -3*u + 24. Is -6 bigger than u?
False
Let t be (-1 + 5)/(2 - 1). Let s be -5 + 0 - (5 - t). Let a = 7 + s. Is a >= -1?
True
Suppose 13 = -6*h - 17. Which is greater: 1/2 or h?
1/2
Let c be 5 + (-6 - -1) - 0. Which is bigger: 1/3 or c?
1/3
Suppose -2*c = -5*y + 2*c + 45, y = 4*c + 25. Is 4 less than y?
True
Let j be 1630/(-14)*11/(-3). Let s = 427 - j. Suppose -10*u + 5*u = 0. Which is greater: s or u?
s
Let o = 69623/72 - 967. Let i = o + -137/504. Are i and 0 non-equal?
True
Let m(x) be the third derivative of x**4/24 - 7*x**3/6 + 2*x**2. Let c be (14/2)/(1 - 0). Let t be m(c). Is t at least 2/7?
False
Let b(r) = -r - 4. Suppose 8*v - 11*v = 21. Let u be b(v). Let a(d) = -d**2 + 5*d - 3. Let i be a(3). Is u <= i?
True
Let z be (-1)/3 - (-16)/(-6). Suppose 3*t - 20 = 5*x - 2*t, 6 = 2*t. Is x smaller than z?
False
Let z = -0.8 - -0.768. Which is bigger: z or -0.1?
z
Suppose 3*k - 3*d + 0*d + 12 = 0, k + 3*d = -4. Let r = -2.9 + 3. Is r at most k?
False
Let y = 138 + -5519/40. Is 0 less than or equal to y?
True
Let l(r) = -r - 6. Let p be l(-5). Let g be (1 - p - 1)*5. Is 7/2 > g?
False
Let m = -47 + 421/9. Let y = 89/324 - 2/81. Is m less than y?
True
Let k(x) = x + 6. Let w be k(9). Let q be 3/(-5) - (-9)/w. Let f be (q/3 - 1)/(-1). Which is smaller: f or 6/5?
f
Suppose -2*b = 8 + 6. Let m(h) = h - 10. Let j(d) = 3. Let q(p) = b*j(p) - 2*m(p). Let u be q(-1). Which is greater: 2 or u?
2
Let q be 50/(-16) - 1/(-8). Does -14/9 = q?
False
Suppose 5 = 4*t + 5*r, -3*r = -t + 2*t - 3. Suppose 4*j + t = 12. Let m = j + -1. Do 2 and m have the same value?
True
Let l = -13 - -25/2. Which is greater: l or -2?
l
Let q = -0.03 - -2.03. Which is bigger: -0.3 or q?
q
Suppose 0 = -0*m + 5*m + 40. Let q = -7 - m. Which is bigger: 1/8 or q?
q
Let a(f) = -f**2 - 6*f + 3. Let l be a(-9). Let p = 43 + l. Which is greater: -1/3 or p?
p
Let r = -53.29 - -53. Let k = -0.09 - r. Which is smaller: k or 1?
k
Let o(k) = 2*k - 1. Let q be o(2). Let l(x) = 10*x + 71. Let w be l(-7). Is w less than or equal to q?
True
Let f(z) = z + 13. Suppose 3*s = -r - 18, -3*s + 36 = -5*r - 0*s. Let l be f(r). Suppose -3*n + 3*p = -21, -l*n - 1 = n + 4*p. Is 4 at least as big as n?
True
Let n = -122 - -42. Let j be ((-1)/(-4))/(70/n). Are j and 0 non-equal?
True
Let i be (1/3)/((-3)/423). Is i greater than -47?
False
Suppose 3*v = 4*o + 1 - 3, -o - 2*v + 6 = 0. Let q be ((-1)/7)/(1/(-1)). Let y = q - -5/14. Is o bigger than y