2/7?
True
Let k = -145 - -148. Let g be ((1 - 0) + -2)/k. Suppose -3*t + 4*r = -t + 10, -5*r + 12 = -2*t. Which is smaller: t or g?
t
Let l be 2*((-6)/4)/3 - -102. Let d = l - 911/9. Which is smaller: d or -8?
-8
Suppose 3*t + 23 = -4*m, -20 = 3*m - 5. Let x = -188 - -2822/15. Which is greater: x or t?
x
Let u = -821.27 + 821. Does u = -22?
False
Let i be 267/(-190) + (-96)/(-320). Which is smaller: -2 or i?
-2
Let s = 200 - 254.1. Let q = s + 54. Let i = 1.2 + -0.2. Which is smaller: q or i?
q
Suppose 5*o - 5*x = -10, -3*x = -5*o - 0 - 18. Let a = -6 - -4. Let f be (-270)/(-63)*a/o. Which is smaller: f or 0?
0
Suppose n - 284 = -4*k, k + 4*n - 2*n - 64 = 0. Let m = 70 - k. Is m equal to -1?
False
Let v be (10/20)/(30/(-4)). Suppose -28 = -5*s + u - 5, 3*s + 4*u = 0. Let d = s - 4. Which is smaller: v or d?
v
Let b = -52/477 + -6/53. Let i = -36.83 + 37. Let o = -1.17 + i. Do o and b have the same value?
False
Suppose 164 = 7*h - 207. Which is smaller: 48 or h?
48
Let k = 10/3 + -23/6. Let m be 192/(-30) - 8/(-20). Let z be m/15*60/(-42). Is z greater than or equal to k?
True
Let k = -3/281 + -239/3934. Let o = 0.01 - -0.19. Do o and k have the same value?
False
Let d(k) = k - 3. Suppose 2*c = 23 - 55. Let g = 29 + c. Let j be d(g). Is 11 >= j?
True
Let l be ((-635)/(-8))/5 - (-1)/8. Which is bigger: 288/17 or l?
288/17
Let a = 3 + -1. Suppose -4*d - 7 = 3*z, z + 37 = 3*d + 26. Is a > d?
False
Let s = 40 - 50. Which is smaller: s or -13?
-13
Suppose 590 = 874*v - 872*v. Is v greater than 0.1?
True
Suppose 3*c - 10 = -2*i, 3*i - 20 = -0*i - 2*c. Let y(g) = -g**3 + 11*g**2 - 9*g + 12. Let r be y(10). Suppose -r*f + 20 = -18*f. Which is smaller: i or f?
f
Suppose 0 = 5*u + 5*l - 127 + 967, -652 = 4*u - l. Let b be 2 - (u/88 - -4). Is b less than or equal to 1?
True
Suppose 3*r + 4*z + 79 - 27 = 0, -r + z = 29. Which is smaller: r or -113/5?
r
Suppose -3*j = 4*i - 879, 5*i = -j + 6*i + 286. Which is smaller: 287 or j?
287
Suppose 4*g - b = 17, 5*g + b - 19 = 3*b. Suppose 0 = -g*f - 3*h + 20, 0*h + 12 = 2*f + 2*h. Suppose -q - 6 = -3*i + 2*q, -5*i = -4*q - 9. Is f > i?
False
Suppose 25*b = 27*b + 90. Let a be 3/5 + (1152/b - -4). Which is greater: -19 or a?
-19
Let g be (-58)/(-6)*(60/16 - 3). Let t = -1 + -14. Let r = -7 - t. Which is smaller: r or g?
g
Suppose -4*c = -11 - 29. Suppose 7*s - 4*s = -3*b - 9, -2*s - b = 1. Is s < c?
True
Let z(l) = -l**3 + 16*l**2 + 25*l - 24. Let i be z(17). Let y be (8/(i/(-21)))/(22/4). Is y greater than or equal to -1?
True
Suppose i - 6*i - 10 = 0. Let z be -1*i*2/4. Let b be (-6)/(-15) - 0 - z. Is -2 >= b?
False
Suppose 0*o - o = -5*o. Suppose 4*p - 4*l - 132 = o, 5*l = -1 - 4. Does 31 = p?
False
Let d be 12/26 - 3222/52. Do -63 and d have different values?
True
Suppose 34*a + 168 = 20*a. Is -18 < a?
True
Let i = 14.4 + 1.4. Let y = 55 - 40. Let q = y - i. Is -0.1 != q?
True
Suppose 2*x - 2*k - 2*k = -2, 0 = x + 5*k - 13. Let l = x - 0. Which is smaller: 1 or l?
1
Let o = -0.2055 + 0.0455. Is o < 2/9?
True
Let h = -105 - -154. Which is smaller: 48 or h?
48
Let a be (-10)/(-40) - 79/(-4). Let g be (-4)/10 - (-8)/a. Which is smaller: 1/32 or g?
g
Let i be (-10)/(-7)*(-18)/36. Let o(k) = -k**2 + k. Let j be o(2). Which is greater: i or j?
i
Let n be (-4)/265*(6825/14)/(-39). Is -1 <= n?
True
Let s be 0 - -2 - 9/(18/16). Let a be ((-14)/(-4))/((-2)/(-4)). Let k = a + -14. Which is bigger: s or k?
s
Let q = 122 + -129. Let d = q + 3. Is d at least -28?
True
Suppose -15*r - 48 = -453. Which is greater: 21 or r?
r
Let w = -27/70 + 24/35. Which is greater: w or 0.7?
0.7
Let n be 2/(-4)*(-39 - -37). Which is greater: 2/119 or n?
n
Suppose 27 = 4*n + 7. Suppose 0*z - 5*z = n*i - 45, -2*z = -i - 6. Let j = 6 + -1. Is i < j?
True
Let x be ((-1)/(-11))/(448/256). Which is smaller: x or 0?
0
Let c be (6/(-4))/((-1)/6). Let i(y) be the first derivative of y**4/4 - 4*y**3 + 6*y**2 - 2*y + 3. Let r be i(11). Is r <= c?
True
Let x = 172 - 172. Let i = -226 - -220.06. Let d = -6 - i. Which is smaller: d or x?
d
Let r(y) = -5*y**2 + 2*y - 6*y**2 + 1 - 5*y**2 - 3*y. Let d be r(1). Which is bigger: d or -15?
-15
Let y = -269 - -270. Is y at least as big as 2/351?
True
Let o be ((-5)/(-25))/((-15)/(-90)). Let q = -4 - -4. Which is smaller: o or q?
q
Let c = 0.2 - 0.1. Suppose 3*t = -5*i + 92, 3*t - 3 + 6 = 0. Suppose -16*v + 9 = -i*v. Is c at most v?
False
Let v = -1030 - -5416/5. Are v and 54 nonequal?
True
Let w be (3 + (-24)/9)*(0 - 0). Let h(y) = -y**3 + 2*y**2 + y + 7. Let o be h(w). Is o > 4?
True
Let s(v) = v**2 + 17*v + 34. Let u be s(-16). Suppose 0 = -3*y - i + 6*i - 43, -u = 2*y + 2*i. Which is bigger: y or -12?
y
Let a = 17 - 9. Suppose j + j = a. Suppose 30 = -j*g + g. Is -10 smaller than g?
False
Let h = 74 + -516/7. Suppose 3*k = -5*l + 89, l + k = 3*k + 23. Let w = -15 + l. Is w <= h?
False
Let o be (-8 + 8)/(2 + (1 - 2)). Which is smaller: o or 1/114?
o
Let q be ((-1)/(10/4))/(-8). Let h be (-162)/(-30) + (-1)/(10/4). Suppose -10*a + h*a = 0. Which is greater: q or a?
q
Let m(p) = p**2 - 11*p + 10. Let u be m(9). Let i be 6/(-21) - 144/(-14). Let o = i + u. Is 2 greater than o?
False
Let m be (-69)/2 - (-2)/(-4). Let o be (-2830)/m + 1/7. Let z = o - 403/5. Is -0.31 <= z?
True
Suppose -9*j + 5*r - 655 = -5*j, 0 = -4*j - 2*r - 634. Which is smaller: j or -159?
j
Let n(f) = 2*f**2 + 2*f + 2. Let p be n(-2). Let b be (-16)/6 + (-2)/p. Which is smaller: 1 or b?
b
Let f be (48/28)/(8/28). Is f less than 3?
False
Let h = 513/1276 - 11/29. Suppose u = -5*q + 21, q = -4*u + 205 - 197. Which is bigger: u or h?
u
Suppose q = 19*q - 5616. Is q at most as big as 310?
False
Let n = -1455 - -1483. Which is bigger: n or -6?
n
Let q = -2410 - -2410.218. Which is smaller: 0.04 or q?
0.04
Let a = -4624/3 - -1565. Is 24 != a?
True
Let z = -0.013 - -2.033. Let x = z + -2. Which is smaller: x or 0.2?
x
Let f(n) = -n**2 - n. Let g(a) = 4*a**2 - 2*a - 3. Let h(m) = 3*f(m) + g(m). Let c be h(4). Do -10 and c have different values?
True
Let d = -17 + 11. Let v = d - -8. Which is smaller: 0.3 or v?
0.3
Let d be ((-6)/(-4) + -1)*120/100. Which is bigger: d or 1?
1
Let h be ((-2)/(-21) - 0)/((-156)/(-1170)). Suppose -3 = o - 5. Which is greater: o or h?
o
Let f = 1878 + -1882. Which is greater: f or -32?
f
Suppose 0 = 2*v + 4 + 18. Suppose -5*y + 48 = -8*y - 3*w, w + 5 = 0. Are v and y nonequal?
False
Let h = -6.48 + 5.08. Which is bigger: -0.03 or h?
-0.03
Let i = -160 + 156. Let b be (-1)/1 - 7/(-5). Is b >= i?
True
Let t = 96.33 - 110. Let s = t + -0.33. Which is bigger: s or 0?
0
Let a be (-2)/8 - (-8)/8. Let v = -15.46 + 0.46. Let t = v + 12. Which is bigger: t or a?
a
Suppose 4*b - 2 = -3*u, 0 = -3*u + 2*u - 5*b - 3. Let n = -95.4 + 70. Let c = n + 25. Which is bigger: c or u?
u
Let o = 56 + -56. Let c be 1504/36 + (-4)/(-18) - o. Does 42 = c?
True
Let r = -18821788/17865 + 9482/9. Let x = -4148/176665 - r. Do x and -1 have different values?
True
Let d(p) = 2*p + 33. Let f be d(-13). Suppose f*w - 331 = 124. Does w = 65?
True
Let f(p) be the first derivative of p**2/2 + p + 4. Let v be f(3). Let u be (-10)/v*4/65. Do -1 and u have the same value?
False
Let c(v) = -v + 45. Let n be c(-13). Let u = -353/6 + n. Let d = -1 + 0. Is u not equal to d?
True
Let x = 1.1742 + -0.1742. Is -0.1166 greater than x?
False
Let v = 1.6 - -2.4. Let u = 5 + v. Let m = -12 + u. Is -0.1 bigger than m?
True
Let j = -79 - -45. Let l = j - -33.91. Which is greater: 0 or l?
0
Let j(o) = -2*o - 1. Let g be j(0). Let u = 137/8 - 17. Which is bigger: g or u?
u
Suppose -3*o + 3*n + 54 = 24, -4*n = o + 15. Which is greater: o or 17/4?
o
Let o(c) = -3*c - 27. Let k be o(-9). Suppose 2 = 2*m - 2*t, 3*m + 2*t + k = -2. Let s = 946/5 - 190. Which is greater: m or s?
m
Let l be (-8)/(-10) + (-923)/(-65). Suppose -40 = -5*p - l. Let c be (-2)/p + 56/(-60). Which is bigger: c or -1?
-1
Let q = -43 + 45. Let k(o) = -2*o**2 - 5*o + 1. Let h(c) = -3*c**2 - 4*c + 2. Let i(t) = 3*h(t) - 4*k(t). Let b be i(8). Are b and q equal?
True
Let z = -217 - -217.2. Are z and 15/7 equal?
False
Suppose -1 = -5*f + 14. Suppose -f*i - 4*i = 70. Let x = i - -11. Which is smaller: x or 3?
x
Let b(t) = -70*t**2 - 3*t + 1. Let y be b(2). Let z be 1/(-6) - y/(-18). Let o be ((-21)/20)/((-6)/z