 j be (-21)/(-30) + (-2)/(-4). Which is smaller: 0 or j?
0
Suppose -4*t = 2*p - 5*t, 3 = p - 2*t. Let c be p/5 + (-68)/(-140). Which is smaller: 0 or c?
0
Let v = 2 - 3. Let c be (-2006)/14*(2 - 1). Let h = c - -143. Which is greater: v or h?
h
Let h = 1.65 + -1.6. Let n = -7.95 - h. Which is smaller: n or 2/3?
n
Let i = -1.37 - 0.03. Let m = -1.5 - i. Is m bigger than -1?
True
Let b = -3.06 - -1.33. Let r = b + 1.8. Let s = r - -0.03. Is -2/7 not equal to s?
True
Let h = 168 + -178. Let k(c) = c - 4. Let q be k(-5). Which is smaller: h or q?
h
Let p = 8 - 9. Let j be (p/(-2))/(4/8). Let c be (3 + -2)*(1 - 0). Are j and c nonequal?
False
Let c(q) = -q**2 + 11*q - 10. Let t be c(7). Let i = -48 + t. Let w be (2/(-4))/(i/(-12)). Which is smaller: w or -1?
-1
Let w = -372 + 13393/36. Which is smaller: -1 or w?
-1
Let w = 1.18 - 1.08. Is 0.1 <= w?
True
Let k be (-6 + 207/36)/(6/160). Which is smaller: -6 or k?
k
Let b = 8 - 7.1. Let p = -1 + b. Is p > 2?
False
Let y = -26 - -19. Which is bigger: 1 or y?
1
Let v(b) = b**3 - 4*b**2 + b - 3. Let s be v(4). Let n = 130 - 121. Is s < n?
True
Let m be 0 + 2 + (-50)/22. Let f be 2 + (-3)/2*2. Is m equal to f?
False
Let p = 4.4 - 4. Let v = p - 0.3. Let g = -0.06 - -1.06. Is v != g?
True
Let a(y) = y**2 + 4*y + 3. Let u be a(-3). Let m = -2/11 + -1/55. Is u > m?
True
Let t = 1.3 - 0.3. Let n = -0.3 - -2.3. Let w = n - t. Which is greater: -1/4 or w?
w
Suppose -2*a - 2*n = -6*a + 30, 3*n = 2*a - 13. Let o = a - 7. Let f be o - 0 - 6/2. Is 0 smaller than f?
False
Let w be 4/(-12) - (-49)/3. Which is greater: w or 13?
w
Let a be (-8)/4*99/296. Let i = a - 3/37. Does i = 0?
False
Let z = 11 - 7. Which is greater: 1 or z?
z
Suppose -5*i + 0*i + d = -18, -3*d = 9. Suppose 0 = -5*k - 2*a + 3, -i*a = -0*k + k + 2. Let n be (-1 - -3*1)/k. Which is bigger: 3 or n?
3
Let b be 1*-6*(2 - 1). Let u be 3/(-9)*b/4. Which is smaller: u or 0.9?
u
Let u = -9 - -11. Let i be (24/4)/((-15)/u). Which is bigger: i or -1?
i
Let m be (-14)/70 + (-26)/(-5). Suppose 3*v - m*v - 20 = 0. Suppose -2*q - 30 = 4*j, 6*j = 3*j - 9. Is q bigger than v?
True
Suppose -2*j = -6*j. Is 0 at most j?
True
Suppose 4*l = -2 + 18. Suppose 0*c - 10 = -5*c. Suppose l*i = -c*s - 2, -4*s + 2*s = i - 1. Which is smaller: i or 2?
i
Suppose 9 - 7 = -2*f. Is f less than or equal to 2/293?
True
Let d = 36/17 - 248/85. Let y = 12 - 12. Is d > y?
False
Let y be 2 + (35/(-30) - 3). Which is smaller: y or -1?
y
Suppose 0 = 4*w + 2*k - 0*k + 48, 4*w + 60 = -5*k. Let b be -2 - (3 + w/1). Suppose -2*s + 0*s + 2 = b*l, 4*l + 4*s = -8. Is l smaller than 2?
False
Let l = -37756/93 - -406. Let g be 89/(-465)*(-5)/2. Let i = l + g. Is i < 0.1?
False
Let n = 6 - 5.7. Let q = n - -0.4. Is q less than -0.1?
False
Let a = 2 + -3. Let x be 1 - (2*-1)/a. Let o be (20/(-15))/(x/3). Is o >= -0.1?
True
Let u(n) = -n**2 - 3*n + 3. Let v be u(-4). Let f(x) = 2*x + 4. Suppose 5*c + 22 = d, 0*c - 19 = -2*d + 5*c. Let r be f(d). Which is smaller: r or v?
r
Let x be ((-5)/10)/((-2)/(-14)). Which is greater: -3 or x?
-3
Let t be (0/(-7))/(1 + 2). Which is bigger: 1 or t?
1
Let g(q) = -4*q + 6. Let j be g(-8). Is 39 > j?
True
Let j = 2.1 + -2. Which is greater: -2/9 or j?
j
Suppose 2 + 1 = l - x, 5*l = -5*x - 15. Suppose l = 5*y + 9 + 1. Suppose -3*g + 6 = -6*g. Is y greater than or equal to g?
True
Suppose 3*j = -0*v - 3*v, -5*v - 4 = 4*j. Suppose j*d - 9 = -4*g + 3*d, 12 = -4*d. Let t = 22 + -21.9. Which is greater: g or t?
g
Let s = 7 - 4. Suppose 5*t + s = -2. Let r be 15/25 + (-22)/20. Is r <= t?
False
Let x(b) = 13*b - 7. Let p be x(2). Suppose -2*f + 5 + 31 = 0. Is p > f?
True
Let w be 9/(-15)*20/(-66). Is -1 less than or equal to w?
True
Let x = 22300/7 + -3199. Let n = x + 523/42. Is -1 at least as big as n?
False
Let d = 17 + -15.6. Let g = 0.6 - d. Let z = g - 0.2. Is 2 equal to z?
False
Suppose 4 = 5*o - 1. Let t(x) = -16*x + 97. Let n be t(6). Is n less than or equal to o?
True
Let j be 0 + -2 - -3 - -5. Let d be (j - 2)*6/(-8). Which is greater: -2 or d?
-2
Suppose 0*u - 3*u + 6 = 0. Suppose -5 = s + 1. Let j be (u/2)/((-3)/s). Which is smaller: j or 4?
j
Let l = -0.407 - -0.107. Which is smaller: l or -10?
-10
Let b be (-3 - -6)*4*1. Which is bigger: 13 or b?
13
Suppose 0 = 4*s - 5*u - 0*u - 19, 2*u + 5 = -s. Let b(y) = -3*y + 2. Let o be b(4). Let j be (12/(-105))/(o/(-25)). Is s bigger than j?
True
Suppose 17*q = q. Do q and -3 have different values?
True
Suppose -5*r = -10*r + 15. Let b be ((-6)/r + 2)*1. Let k = -11 + 10. Is k less than b?
True
Let y = 0 + 0. Is -1 at least y?
False
Let d be 276/9 - (-1)/3. Suppose -2*z = -m - 7*z + 23, -5*z + d = -3*m. Let v = 0 + m. Is v greater than or equal to -1?
False
Let y(l) = -4*l - 4. Let a be y(-3). Suppose -5*p - 5 = 5. Let x be (-2)/a + p/(-8). Which is smaller: x or 3/5?
x
Let y = -25/36 + 4/9. Let t = -8 - -10. Suppose -4*q + 5 = -5*b, t = -4*q - 2*b - 0. Is y != q?
True
Suppose 27 = 2*b + b. Suppose -3*w - b = -3. Let k = 1/12 - 3/4. Which is smaller: k or w?
w
Let q = -137/5 + 28. Let i(f) = -f**3 - 8*f**2 - 9*f - 13. Let b be i(-7). Which is bigger: q or b?
b
Let y = -23 + 24. Which is greater: 3/4 or y?
y
Suppose -4*d - 750 = 11*d. Is -50 bigger than d?
False
Let n = 6 + -3. Suppose -5*l + 7 = -3*i, 0 = -5*l + 4*i - n*i - 1. Is l greater than or equal to 2/11?
False
Let s = 0 - -3. Suppose 0 = -5*h - 5, -3*h - s = -2*i + 6. Let t be (-6)/(-16)*-2*-2. Is t at least i?
False
Let z = 0.97 - 0.87. Which is smaller: z or -2/41?
-2/41
Let x(v) = v**3 - 2*v**2 + 2*v. Let p be x(3). Is p equal to 15?
True
Suppose 10 = 4*d - 9*d. Suppose 2*k = t - 0*k - 1, k = 0. Let j be (-2)/(-6) - (0 + t). Which is smaller: j or d?
d
Let z be ((-1)/4)/(18/(-72)). Which is smaller: 3/19 or z?
3/19
Let s(u) = 6*u + 65. Let w be s(-12). Which is bigger: w or -10?
w
Let q be (4/(-20))/(3/9). Which is greater: q or -0.3?
-0.3
Suppose 4*g + 4*c = -0*g - 20, -3*g - 30 = -2*c. Let y be (g/12)/(42/9). Is y not equal to 0?
True
Let y = -5/13 - -53/104. Which is smaller: 0 or y?
0
Let i = 7.11 + -0.11. Let k = -0.126 + 0.026. Are i and k non-equal?
True
Let g = -0.13 + 0.33. Which is smaller: g or 2/11?
2/11
Let s(b) = 0*b**2 + 0*b**2 - 11 + b**2 - 3 + b. Let o be s(0). Which is bigger: o or -13?
-13
Let p be (-5)/(70/581)*(-1 - 1). Which is greater: 82 or p?
p
Let p = 0.4 + -0.32. Let q = p + -1.08. Suppose -3*o + 0*o - 6 = 0. Which is smaller: q or o?
o
Let d(j) = -j**2 + 7*j. Let b(i) = -i**2 + 6*i + 3. Let g be b(6). Let h be d(g). Suppose 3*o + h = 0, -6 = -3*a - o + 4*o. Do a and -2 have the same value?
True
Let q(t) = -t**3 - 10*t**2 - 10*t - 9. Let f be q(-9). Which is bigger: f or 2?
2
Suppose -7 = -3*l + 8. Suppose -2*x = 3*y + 6, 0 = l*y + x + 4*x + 15. Let g = 13/6 - 3/2. Which is greater: y or g?
g
Let f = 6 + -26. Let j be f/(-72) + 2/9. Is j < 0?
False
Let h = -20/7 + 73/28. Suppose -3*y + 22 + 9 = 2*m, 17 = m + 2*y. Suppose 5*w + 5*p - 15 = 0, -4*w - m + 3 = -p. Which is greater: h or w?
h
Let n be 398/(-134) - (0 - (6 + -3)). Which is smaller: -1 or n?
-1
Let h = -1 + -1. Let a be -4 + (8 - (4 - 3)). Let d = h + a. Is 1/2 at most as big as d?
True
Suppose 2*x + 10 = 3*i, x + 10 = 3*i - 4*i. Is -8 at least x?
True
Let j be 2/(-4) + 3/8. Let v = -3 - -2.8. Are j and v non-equal?
True
Let v = 7.9 + -8. Let h = 259749 + -74547874/287. Let y = h + -1/41. Do y and v have different values?
True
Let m = 109852/13 - 8446. Let h = 2309/559 - m. Which is smaller: 1 or h?
h
Let h be 3 + (0 - 166/(-6)). Let j = h + -31. Which is smaller: j or -1?
-1
Suppose 0*v + 4 = 4*v. Let u be 4/(-6) + 0 + v. Is 0 bigger than u?
False
Let y = 76 - 70. Let v = 6 - -1. Is v less than y?
False
Let k = -0.033 - -0.033. Which is smaller: 0.5 or k?
k
Let n = 1895 - 5599/3. Let k = n + -29. Which is smaller: 0.3 or k?
k
Suppose 3*q + 0*q - 33 = 0. Let a be q*(-3 - 2) + 1. Let z be 4/10 - a/15. Is z bigger than 4?
False
Suppose 2*c - j = 28 + 51, -4*c - j = -143. Is c at least as big as 37?
True
Let j(b) = -b**3 + 6*b**2 - 6*b + 3. Let n be j(5). Let z be -1 + -5*1/n. Which is bigger: z or 3?
3
Let u = -2/457 - -932/4113. Is -0.7 bigger than u?
False
Let n(l) = l**2 - 8*l + 20. Let b be n(6). Are b and 7 nonequal?
True
Suppose a - 2 = 4*z, -2*z - 1 = -a + 1. Su