2 or u?
0.02
Let g = -1041/13 - -80. Let a be (-13 - -6)*22/(-77). Which is smaller: a or g?
g
Suppose 0 = 2*r - 5*t + 182, 3*r + 179 = 5*t - 104. Is -98 >= r?
True
Let c be 80/(-14) - (-8)/(-28). Let g = -4 - c. Let r = 0 - -0.1. Which is smaller: g or r?
r
Suppose 5*i - 15 = -g, -6*i = -4*i - 10. Let r be (4/g)/((-32)/(-5476)). Let c = 269/4 + r. Which is smaller: c or -2?
-2
Suppose -17*k = -25*k + 120. Are -11 and k nonequal?
True
Let g = -9161/14 - -653. Let f = 85/42 + -7/6. Let t = g + f. Which is smaller: 2 or t?
t
Let r(v) = -5*v**2 + v + 2. Let b be r(2). Let j = b - -16. Let w = 33 + -329/10. Is w at most as big as j?
False
Let t = 0 - 4. Let h = 0.3 + 3.7. Which is smaller: t or h?
t
Let q = 759/2 + -380. Is q not equal to -0.042?
True
Let n be 2/(-3) + (-6)/3. Suppose -b - 16 = -5*u, u + 0*u = -b + 8. Suppose 4*g = -12 - u. Is n greater than g?
True
Let a(j) = -177*j - 3183. Let t be a(-18). Suppose 6*g = 4*g - 26. Is t at least as big as g?
True
Suppose 77*g - 6026 = 112*g + 96*g. Suppose 2*o + 13 = -77. Which is smaller: g or o?
g
Let v be 14/(-8) - 4/((-96)/18). Let b = -0.073 - 56.927. Is b equal to v?
False
Suppose 0 = -2*i - 4*j + 4, -7*i + 2*j = -2*i - 34. Let k be (-44)/99 - (-4)/i. Suppose -5*x + 2*s = 5*s, x + 5*s = 0. Is x smaller than k?
True
Let u = -100 + 51. Let f = 48 + u. Is -10 at least as big as f?
False
Let l be 0/2 + -1 + 0. Let x be ((-1)/14)/(l/(-4)). Let z = -28 + 51/2. Is z equal to x?
False
Let n = -0.7 + 2.7. Let y = 228 + -195. Are n and y unequal?
True
Let l be (-219)/693 - 16/(-56). Let f(k) = -9*k - 18. Let p be f(-2). Is p greater than or equal to l?
True
Let b = 229 - 240. Which is greater: -17 or b?
b
Let d be 4/((-12)/(-9)) - (-20452)/(-132). Let k = -152 - d. Is 0 equal to k?
False
Let t be 0/1*((-60)/9 - -7). Let j be t/(6 + -8 + 4). Do j and 3 have different values?
True
Let g = 65.7 + -65.8. Let p be 6/(-45)*6/4. Is p > g?
False
Let w = 4 + -5. Let t = 30/29 + -9316/203. Let h = t - -5324/119. Are h and w nonequal?
True
Let q be (1/(-3))/((-8)/48). Suppose -q*z = -3*m + 3*z - 25, -5*m - 53 = 3*z. Which is bigger: m or -12?
m
Let d = -9682483/56 - -172895. Let u = d + 45/8. Are u and 0 unequal?
True
Suppose 0 = -8*f + 7*f + 64. Let i be -3*(2 - f/36). Is i greater than 3?
False
Suppose 16 = z + 2. Let w be (-11)/((-231)/6) + 640/z. Which is bigger: w or 45?
w
Let x = -0.48 - 34.52. Let a = x + 17. Let v = a + 16. Is v < -2/5?
True
Let c(p) = p**3 - 14*p**2 + 13*p - 6. Let s be c(13). Suppose -2*i = -i + 2. Do s and i have the same value?
False
Let h be -25*3/(4 + -7). Suppose h = -7*o + 2*o. Which is greater: 0 or o?
0
Let g be (69/(-9))/((-1)/(-6)). Let w = 2136 - 2180. Which is greater: g or w?
w
Let o be (-13)/(-7) + 7/49. Let c(p) = -p**2 + 4*p + 4. Let v be c(4). Let h be (3/o)/(14/v). Is h equal to -1?
False
Let v = -10 - -4. Let j = 1390/3 - 6746/15. Let f = -66/5 + j. Which is bigger: v or f?
f
Let r(t) = t**2 + 11*t - 24. Let j be r(-13). Let n be 14/(-1 + j + 8). Do n and 1 have different values?
True
Let v(s) = -36*s + 4. Let h be v(-3). Suppose -2*g + 5*l = -5*g + 76, -3*g + h = -4*l. Let i = -22 + g. Is -1 < i?
True
Suppose -30 = -j - 0. Which is bigger: j or 31?
31
Suppose 4*c - 4 = 4*f, 4*c + f + 0*f = 4. Let k = -137 - -55. Let b = k + 82.9. Is b at least c?
False
Let v(i) = -18*i + 108. Let o be v(6). Let g be 324/(-160) + 1 - -1. Is o > g?
True
Suppose 180 = 14*g + 166. Which is smaller: 35/26 or g?
g
Let v(w) = w**3 - 19*w**2 - 43*w + 16. Let t be v(21). Let u be (-1)/10*4/2. Which is greater: t or u?
u
Let j = -84 + 119. Let c = 40 - j. Is 0 <= c?
True
Let m(o) = 2*o**2 - 8*o - 19. Let q be m(9). Let j be (2/(-8) - -1) + q/(-4). Is -16 at most j?
False
Let g(u) = 5*u - 25. Let h be -1 + -5 + 4 - -7. Let y be g(h). Is y equal to 0?
True
Suppose 51 = -3*v - 21. Let s = 20 + v. Is s <= -4?
True
Let z be -6 + 3 - (-123)/39. Let l = -53/2 + 27. Is l at most z?
False
Let b(m) = -m**3 + 9*m**2 + 8*m - 21. Let c be b(8). Is c equal to 106?
False
Suppose 26*w - 17 = 9*w. Which is smaller: w or -10/67?
-10/67
Suppose 729 = 4*u + 5*b, -3*b + 10 = 7. Is u at least 180?
True
Suppose d + 2*d = 0. Suppose -2 - 1 = 3*p - 3*l, d = -2*l - 4. Suppose 3*z = 7*z. Is z < p?
False
Let r = 663 + -12603/19. Let m be 2/2*2/2. Which is bigger: m or r?
m
Let m(f) = -2*f**2 + 52*f + 12. Let u be m(26). Let t = 2 - -7. Let b be (-64)/(-6) - (-3)/t. Do u and b have the same value?
False
Let q(g) = g**3 - 9*g**2 + 14*g. Let l be q(7). Suppose -2*h + l*h + 198 = 0. Let w be -3 - -3 - 6/h. Which is smaller: 0 or w?
w
Let p be -6 - -6 - (-4)/2. Suppose 0 = -0*v - v - 6. Let g be (3*2/v)/2. Which is greater: g or p?
p
Let l(k) = -25*k**3 + 4*k - 4. Let x be l(2). Which is greater: -0.1 or x?
-0.1
Let l = -10 + 25. Let b(v) = -46*v**2 - 1562*v + 80. Let g be b(-34). Which is smaller: l or g?
g
Let p = 1 - 1. Suppose 53*k = -4*b + 51*k - 40, 4*k + 20 = -3*b. Which is smaller: p or b?
b
Let l = -3.1 + 3. Let d = 234 - 236. Which is bigger: d or l?
l
Let t(o) = -5*o + 102. Let b be t(-2). Is b at least as big as 225/2?
False
Let d(a) = 8*a - 23. Let h be d(-14). Let r be (-13 + -2)*5/h. Is -1 <= r?
True
Let n be (-7)/(-5)*(-25)/30. Suppose 0 = 3*k + k + 8. Is k greater than or equal to n?
False
Let c be 2 + -2 + 20/26. Let r = 7.97 - 7.97. Which is bigger: c or r?
c
Suppose -4*s = -0*s. Let o(h) = h + 11. Let j be o(-8). Suppose s = j*n - 2*n. Which is smaller: -1/4 or n?
-1/4
Let a be (-86)/(-6) + 6/9. Let u = 186 + -171. Is a smaller than u?
False
Suppose 0*v = 3*v - 2*r - 47, -v = -5*r - 7. Suppose -2*p = 23 + v. Are p and -22 equal?
False
Suppose 0 = -s + 5 + 16. Let p = -18 + 27. Let d = p + 12. Are s and d non-equal?
False
Let r = -26 - -29. Let j be 3 - (-2)/86*(-130 + r). Is 0 at most as big as j?
True
Let a be (-2)/5*15/(-9). Let w be 3/(1 - 4)*0. Suppose 4*t + 4 = w, -3*v - 2*t = t + 3. Is v != a?
True
Let l be (-2 - 2/(-4))/(-3)*0. Let k be (4/(-12) - -1)/(-30). Is k less than l?
True
Let k = 1.2312 + 0.2398. Let h = -1.43 + k. Which is smaller: -1/2 or h?
-1/2
Let z = 8.6 - -31.4. Is z greater than -2?
True
Let k be 4/(-14) - (-720)/168. Which is smaller: k or 9?
k
Let t(m) = 7*m**2 + 9*m - 13. Let u(h) = h**2 + h - 1. Let d(l) = t(l) - 6*u(l). Let q be d(-5). Let s be 10/4*(-6 - -8). Which is smaller: s or q?
q
Let i(l) = -2*l**2 + 42*l - 26. Let y be i(16). Is 133 at least as big as y?
False
Suppose 3*r = -3*w - r - 465, -5*w = -5*r + 740. Which is bigger: w or -153?
w
Let q = 15 - 26. Let u = q + 15. Suppose -2*v = -3*c + c + u, -v - 5 = -4*c. Is c at least as big as 1?
True
Suppose -l - 3*l = 0. Let p = l - 0. Suppose p*g = 4*g. Is 4 less than g?
False
Let i = 797 - 468. Is -1 greater than i?
False
Let q be 0 + (-6)/(5 - 7). Which is smaller: 8/5 or q?
8/5
Let w(j) = -4*j**3 + 8*j + 2. Let k be w(-3). Let v = k - 83. Which is bigger: v or 22/9?
v
Suppose 5 - 11 = -3*z. Suppose -4*c = 2*g + z, 3*g - 2 - 4 = 3*c. Is g at least 1?
True
Let p = 2 + -3. Let z = -3408 + 3408.16. Which is smaller: z or p?
p
Let b = 9040/3 - 2959. Which is greater: 53 or b?
b
Suppose 0*x + 2*x - 32 = 0. Let m(y) = -21*y - 59. Let k be m(-3). Suppose 2*f = h - k*h - 1, 2*f + x = 2*h. Which is bigger: h or -0.1?
h
Let j be 1 + (-147)/(-51) - (-6)/51. Let z = 19 - 19. Is j > z?
True
Let w = 31 + -46. Let o = -20 - -7. Which is smaller: o or w?
w
Let y(w) = w**3 - w**2 - 2*w - 13. Let g be y(3). Are 1/26 and g unequal?
True
Let n = -7.4 - -6.7. Is n > -2/3?
False
Let b(z) = z**3 + 7*z**2 - 16*z + 19. Suppose -10*n = -14*n - 36. Let k be b(n). Is 2/19 at most k?
True
Suppose -5*h = 5 - 5. Let i = -24 - 0. Let k be (-38)/i - (-3)/(-12). Which is greater: k or h?
k
Let r = 63 - 4283/68. Which is smaller: 0.4 or r?
r
Suppose 0 = 8*l + 50 - 50. Which is greater: -2/195 or l?
l
Let l = -0.99 + 1.09. Let v = 22.037 + -0.037. Is l at most as big as v?
True
Let a = 0.59 - -0.11. Let t = 0.8 - a. Let u be (-5)/2*1/(-25). Is t less than u?
False
Suppose 9*w + 9 = -4*i + 8*w, -4*w - 2 = -i. Let r be 38*(-2)/(-16)*4. Let t be i/(-12)*(r + -10). Which is bigger: 1 or t?
t
Let j be (-5)/23*(-24)/(-60). Suppose 3*c = 4*x - 35, 4*c = -4*x + 2*x - 10. Suppose 3*r - 3 + 4 = -u, u + 1 = x*r. Which is smaller: r or j?
j
Let y be 5 + (-94 - -