and t nonequal?
True
Suppose 4*f = 470 + 262. Which is greater: f or 182?
f
Suppose -2*f - 283 = -j, 5*f + 843 - 130 = -3*j. Let g = -16/2125 + 3321551/23375. Let i = g + f. Are i and 0.1 equal?
False
Let i be 80/(-20) - 94/(-16). Which is smaller: i or 1?
1
Let o(m) = m + 6. Let b be o(-3). Suppose -3 = -2*j + b*j. Which is smaller: 0.11 or j?
j
Let k = 12490 + -12474. Let y be (1 - -3)*38/8. Which is bigger: y or k?
y
Let r = -1065 + 917. Which is greater: r or -150?
r
Let c = -12.8 + 3.8. Let i = 0 + 14. Let g = i + c. Is 2 < g?
True
Suppose -4*q + 3 - 335 = 0. Which is greater: q or -84?
q
Let v be 9/4230*4*-5. Do 0 and v have the same value?
False
Let b be (-18)/15*(-45)/3. Let i be (10/(-10))/(0 - 2/b). Is i equal to 31/3?
False
Let u = 282 - 281.93. Suppose 4*c + 22 = -5*m, -3*c + 5*m - 1 = m. Is u at most c?
False
Let l be (93/6)/((-15)/90). Which is greater: -90 or l?
-90
Let u = -18 - -17.75. Let s = u + -1.75. Does s = -0.09?
False
Let q = 2051 + -174333/85. Which is smaller: q or -1?
-1
Let o = 73 - 114. Let a = 51 + o. Let m = 0.2 + -0.1. Is m at most as big as a?
True
Let d = 844 - 853. Is -40 at least d?
False
Let f(h) = -11*h**2 - 1. Let y be f(1). Suppose 11 + 4 = 2*i + g, 4*g - 25 = -i. Let w = y + i. Which is smaller: -8 or w?
-8
Let o = -1.653 + 1.253. Which is smaller: o or 160?
o
Let j be -8 - (503/101 + -5 - 8). Suppose 3*f + 3*o = -12, 5*f + 7*o - 3*o = -16. Which is smaller: j or f?
f
Suppose -3*r + 17 = 2*k, -k + 0*r + 2*r - 9 = 0. Suppose -4*j + 5*y - 3 = -j, -k = 2*j - 3*y. Is 3 bigger than j?
False
Let y = 24 - 18. Let c be y/(-12) + (-1)/2. Suppose 0*r - 5*r + 5 = 0. Is c equal to r?
False
Suppose 63 = -d + z, 3*d - 2*z + z = -179. Is d not equal to 0.04?
True
Suppose -34 + 24 = -10*g. Do 11/12 and g have the same value?
False
Suppose -2*s - s = -4*m + 51, 3*m + 5*s = 2. Let b = 6 + m. Let c be 1 - 2*13/(-2). Is c less than b?
True
Let u be -2 + (-1)/(3/(-3)). Let v = 125/2 + -64. Which is greater: u or v?
u
Let c(p) = 2*p + 5 + 3 - 9 + 13*p**2. Let k be c(1). Suppose -15 = 3*a - 4*s, -2*s + k = -2*a + 2*s. Is a <= 1?
True
Let v be (5206/(-57))/(2/(-3) + 1). Is -274 smaller than v?
False
Let m be ((-6)/(-9))/(2/(-3)). Let w(i) = -4*i**2 - 2*i - 1. Let l be w(m). Let r = -326 - -324. Do l and r have different values?
True
Let i(g) = -2*g - 4. Let u be i(-3). Let b(h) be the first derivative of h**4/4 + 4*h**3/3 + 3*h**2/2 + h + 6. Let a be b(-3). Which is smaller: a or u?
a
Let b = 0.212 - -7.788. Which is bigger: b or -11?
b
Suppose 72 - 22 = 5*b. Let n be (-96)/(-72) - (2 + 14/(-3)). Suppose n*p = -3*f + 21 + 19, 10 = p - 5*f. Do p and b have the same value?
True
Let n(h) = h + 1. Let r be n(-1). Let v be -2 + 84/(-27) + 48/8. Are r and v non-equal?
True
Suppose -5*d - 35 = -65. Suppose -3*m = -2*m + 3*i + 1, -4*m + d = 2*i. Suppose -2*r + 4*y + 2 = -2, -3*y - 9 = 0. Which is greater: m or r?
m
Let f be (-2)/(9/(-60)*(-2)/(-9)). Is f at least as big as 62?
False
Let d(n) = -4*n**2 - 3*n - 15. Let u(s) = -3*s**2 - 2*s - 14. Let b(w) = 4*d(w) - 5*u(w). Let j be b(-7). Is -25 not equal to j?
False
Suppose 7*d - 2 + 2 = 0. Suppose 5*f - 4*h + 10 = 1, d = 5*f + 2*h + 3. Is -3/13 greater than or equal to f?
True
Let a = 1.4 - 3.4. Let v = a + 3.7. Let u = -1.8 + v. Is 0 greater than u?
True
Let b be (-6)/4*1 - -6. Let f = b + -6. Is f >= -1?
False
Let j(u) = u**2 + 25*u - 17. Let x be j(-24). Is x greater than or equal to -32?
False
Let j(t) = t**3 + 14*t**2 - 15*t - 12. Suppose 2*r = -5*z - 10, -4*r - 5*z - 24 = 16. Let l be j(r). Let w be l/(-14)*(-63)/(-18). Which is smaller: w or 1?
1
Let p = -3104 - -68313/22. Let q = p + -18/11. Let t = -1 - -4. Which is greater: t or q?
t
Let g = -237/2 - -143. Let b = g + -25. Which is smaller: b or 3/7?
b
Let c be (-74)/(-8) - 6/24. Suppose c - 51 = -3*t. Are 0.2 and t equal?
False
Let b be (-5)/(-25)*(-167)/(-1). Let j = 31 - b. Let m = 19/5 + j. Which is smaller: 1 or m?
1
Suppose g + 16 = 21. Let f(n) = -17*n**2 - 3*n. Let o(l) = -9*l**2 - 2*l. Let z(j) = g*o(j) - 3*f(j). Let h be z(1). Which is greater: h or 11/3?
h
Let p = -22 + 7. Let s be 5/p + 10/21. Let c = -8 + 8. Which is smaller: s or c?
c
Let i = -218.97 + 220. Let c = i + -0.03. Let m = c - 0. Which is smaller: m or 0.02?
0.02
Let o = 43 + -40. Suppose -o*q + 101 - 23 = 0. Is q >= 49/2?
True
Let i = -2 + 2. Let u = -18 + 33. Let k = u - 14.8. Are k and i unequal?
True
Let t be 131/3 - (8 + (-132)/18). Which is greater: 42 or t?
t
Suppose 0 = 3*o - 15, 2*p - 10 = -3*o - o. Let u = 23190 + -92775/4. Is u at most p?
False
Let h be -12*(-1)/(3/1). Let j = -784 + 3933/5. Which is smaller: h or j?
j
Let j(p) = -p**2 - 8*p - 8. Let x be j(-7). Let g = -1995/40066 + 3/598. Is g at least x?
True
Let t = 300 - 298. Which is bigger: 16 or t?
16
Let b = -1/15 + 7/15. Let f be 61/(1*(-2 + 1)). Which is smaller: b or f?
f
Let m = 251 - 262. Which is greater: -5 or m?
-5
Let b = 44/823 + -787919/5761. Let x = b - -137. Which is smaller: 0 or x?
0
Let z = 68 + -69.45. Let t = 1.2 - -0.2. Let u = z + t. Which is smaller: u or 0?
u
Let x = -12842 - -8694. Let n = -28937/7 - x. Which is smaller: n or 15?
n
Let g be 10/(-9 + 4)*(-3)/(-18). Which is greater: 137 or g?
137
Let z be (25024/(-1788) + 14)/(8/(-6)). Which is bigger: z or 1/3?
1/3
Let l(t) = -t**3 + 65*t + 13. Let q be l(-8). Is 40 at least as big as q?
True
Let r = 140 + -183. Let f = 43.1 + r. Do 17 and f have the same value?
False
Let c = 298 - 291.91. Let v = c - 6. Let b = -0.2 + 0.2. Is v > b?
True
Let j = -2243 + 2280. Which is smaller: j or -1/14?
-1/14
Suppose 3*n + x - 36 = -4*x, -15 = -5*x. Suppose 0 = -5*d - 4*u + 15, -d - 8 = 5*u - 2*u. Is d not equal to n?
False
Suppose -4*g = 2*b - 5*b + 18, b - 3*g - 11 = 0. Let y be -1 + -3 + 0/b. Let f(r) = 2*r + 5. Let o be f(y). Which is smaller: -1/2 or o?
o
Suppose -z + 16*w = 15*w - 491, 5*z - 2445 = -5*w. Do z and 491 have the same value?
False
Let n = 2331/2 + -1157. Let a(k) = -k**3 - 5*k**2 + 6*k + 9. Let u be a(-6). Is u equal to n?
False
Let k(h) = -3*h - 12. Let w be k(-7). Let s = w - 10. Is s >= -14?
True
Let l = 104 + -113. Let v be (5/160*l)/((-3)/28). Which is greater: 3 or v?
3
Suppose 4*x - 300 = -x. Suppose 0 = 5*s + 4*a - 72, -21 = 4*s - 3*a - x. Suppose 2*m - 2*v - 1 = -9, -3*m + s = 3*v. Which is greater: 2 or m?
2
Let i = 666 + -716. Is -57 < i?
True
Let l = 16 + 19. Let a be ((-154)/l)/(2/(-10)). Which is greater: 21 or a?
a
Let x = 69 + 1. Is 71 at most x?
False
Let v be 3*13*8/(-12). Let f = v + 22. Which is bigger: -2 or f?
-2
Let o = 20494 + -717186/35. Let s = -18/7 + o. Which is smaller: s or 11?
s
Let c(d) = 42*d + 124. Let v be c(-2). Which is bigger: v or 39?
v
Suppose 7 = -5*s + 2. Let f(g) = 4*g. Let p be f(-8). Let j = -34 - p. Which is bigger: s or j?
s
Let f be 5 + (-2928)/510 - 8/(-10). Let u(y) = y**3 - 7*y**2 + y - 5. Let w be u(7). Suppose -w = 2*m - 0. Which is smaller: m or f?
m
Let a = -242 - -232. Which is bigger: a or -2?
-2
Suppose t - 40 = -7. Let h(b) = -b**3 - 6*b**2 - 5*b + 34. Let k be h(-5). Which is smaller: k or t?
t
Let d be -3 - 14/(-54)*13. Let v = d + -161/216. Let k be (-9)/(-27) - (-2)/3. Is v equal to k?
False
Let q be 2/4 + (-4)/((-56)/4627). Is q less than 329?
False
Let l = 393192/77 - 35256/7. Is 69 <= l?
True
Let r = 99 - 55. Let u = 51 - r. Let h be 11 + -1 - (2 - 0). Is h <= u?
False
Let u be (-240)/150 + (-2)/5 + 3. Which is smaller: u or 18?
u
Suppose 3*h - 11 = 121. Suppose -19*x = -715 - 121. Are h and x nonequal?
False
Let p = 0.699 + -1.699. Do p and -0.59 have different values?
True
Suppose 3*y - 15 = -5*x, -2*x - x = 2*y - 10. Let m be 99/(-45) - (-3 - x). Let f = -33/2 + 16. Are f and m non-equal?
True
Let f be 75 + 45/(-5) - (-8)/2. Is 70 at least f?
True
Let s = -219.2 + 219. Which is smaller: -0.061 or s?
s
Let z = 90893/9 + -10113. Which is smaller: z or -2?
z
Let v = 0.059 + 7.441. Let s = 5.5 - v. Let t be (3/4)/(1/8). Are t and s nonequal?
True
Let g = -5/107 + 1202/535. Let y = g - 13/5. Are -3/8 and y equal?
False
Let c = -1091/42 - -47/2. Let p = c - -15/7. Are 15 and p equal?
False
Let w = -40 + 141. Is w greater than 100?
True
Suppose 10 = -3*c - l + 45, 2*c = -5*l + 32. Suppose 2*t - t = -5, -3*n + t + c = 0. Are -5 and n non