maller: 5 or f?
f
Let w = -2/465569 + -3720118/1032166473. Which is smaller: 1 or w?
w
Let g = -42 + 46. Let y be 9175/8*(-42)/(-16821). Let w = 9/356 + y. Which is smaller: g or w?
w
Suppose -288*x + 290*x - 56 = 0. Let s be (-2)/(-1*(3 + x/(-10))). Suppose 7*d - 44 = 3*d + 4*j, -4*j - 2 = 3*d. Which is greater: s or d?
s
Let s = 611 - 690. Let a = -1.71 - -86.71. Let t = a + s. Which is smaller: 0 or t?
0
Let o = -22 + 120. Let v = 177 - o. Let x = -58 + v. Which is greater: x or -1?
x
Suppose -h - 391 = p, -4 = 4*p - 6*p. Let d = h + 387. Is -114/17 equal to d?
False
Let w = -1146 + 1200. Are w and 0 equal?
False
Let q be -1 - (-1 + -2) - (5 - 278312/92776). Which is bigger: q or -1?
q
Let p = -2.71 + 0.4. Let u = p + 2.41. Which is bigger: 10 or u?
10
Suppose -10*n = -1946 + 186. Let r = n - 180. Is r equal to 3?
False
Let h = 1774.8 + -2429. Let d = h + 654. Which is bigger: -0.07 or d?
-0.07
Let o be -2 - (-9053 - (1 - 0)). Let l be 1/4 + (42573/o)/(-3). Let x = -40/31 - l. Is 1 greater than x?
True
Let u be (-1 - -2) + 6/(-4). Let y = -69.9042 + 0.1042. Let s = y - -55.8. Which is greater: s or u?
u
Let y = 3377 + -3378. Which is smaller: 196 or y?
y
Let t = 0.19 - -196.81. Let c = t - 197.2. Is 20/9 not equal to c?
True
Let d be (((-12)/2934)/(-2))/3. Let q = -53/1467 - d. Is 1 greater than q?
True
Let g = -64.73 + 64.39. Let c = -87 - -86.9. Is c at least as big as g?
True
Suppose 3*t = -7*t + 50. Suppose -9*x + 32 = t. Let g be (2 - (-1)/(-2))/(x/4). Are g and -2 unequal?
True
Let p = -1282.1 + 1284.1. Which is greater: 1/616 or p?
p
Suppose 567 = -b - 6*b. Let r = b - -83. Suppose 0 = -4*q + r*q + 48. Which is greater: -1 or q?
q
Let u = 131 - 203. Let j = -75 - u. Let y be (1/3 + -2)/(j/(-9)). Is -9/2 at most as big as y?
False
Suppose 3*x + 50 = -2*x. Let p = -3 + 7. Suppose 0*i + p*w - 8 = i, 0 = 2*i - 4*w + 16. Do x and i have the same value?
False
Let j = 114 - 63. Suppose -36 = -j*h + 48*h. Let u be (134/(-4) - -1) + (-6)/h. Which is greater: u or -34?
u
Let d = -184 + 29. Let x = d + 155.81. Which is greater: x or 2/7?
x
Suppose 0 = -5*j - 3*c + 7, 5*j + 27*c - 30*c + 17 = 0. Let s = -1039820/257 + 4046. Which is greater: j or s?
s
Let m(q) = -q + 3. Let v be m(-7). Let w be 2/(-5)*(-1)/v. Let d be -6 + 18*(-10)/(-30). Which is bigger: d or w?
w
Let b = -3 - -3.06. Let z be 11/(-2) - (-1)/(-2). Let i be -1*(-4 - (3 + z)). Is b bigger than i?
False
Suppose -5*c + 70 = -3*i, -5*c - 2*i + 0 = -45. Suppose -3*d = -4 - c. Let l be (-24)/4 - (d + -1). Which is smaller: l or -8?
l
Let k = 4 - 2. Let a be k/(-4)*(-452)/(-12)*6. Which is greater: -114 or a?
a
Let k = 7 - 5. Suppose -7 = -k*h - 1. Suppose -3*l - 5*x - 115 = 0, -9 + 120 = -3*l - h*x. Which is smaller: l or -34?
l
Let j(o) = -410*o - 727. Let b be j(-19). Is 7065 equal to b?
False
Suppose -3*n - 3*o + 4*o = -10, -5*o + 2 = -2*n. Let x be (-211)/(-28) + 4/(-56)*n. Let b = 223 + -217. Which is smaller: b or x?
b
Let o = -2 + -12. Let p be 38/o - -1 - -2. Let a = 119.92 - 120. Which is greater: a or p?
p
Let b = -690 - 4927. Is -5619 > b?
False
Let k = 35275/21 + -5056/3. Which is smaller: -6 or k?
-6
Let o = 106 - 21. Let v = o + -76.3. Let c = v - 12.1. Is c less than -2/3?
True
Let f(d) = -d**2 + 6*d + 9. Let k = -41 + 48. Let y be f(k). Let q be -2 + 18/14*y. Which is smaller: -1/3 or q?
-1/3
Let t = -865/374 - -18/11. Let o be (-38)/4845*2778/8. Let a = t + o. Which is bigger: -4 or a?
a
Suppose -28*h + 300 = 2*h. Let o be (114/h)/(-3)*34/(-170). Is o not equal to 0?
True
Let s(v) = v**3 - 20*v**2 + 38*v - 40. Let u be s(18). Which is smaller: u or 36.8?
u
Let q(s) = -s**3 + 8*s**2 + 19*s + 12. Let l be q(10). Suppose -405 = 4*b - 3*m + 2*m, 3*b + 301 = -l*m. Which is smaller: b or -100?
b
Let r = 7263 + -6660. Which is smaller: r or 3017/5?
r
Suppose q + 7*q - 32 = 0. Suppose 0 = -6*s + 4*s - 2*f - 126, -252 = q*s - 4*f. Let u be 4/6*s/14. Is 0 < u?
False
Let o be (0 - -2)/(24/3804). Let r = o - 413. Which is greater: -0.2 or r?
-0.2
Let k(i) = -6*i**3 - i - 91. Let y be k(0). Let h be y/(-7) - 18 - 4/(-2). Which is bigger: -4 or h?
h
Let v = 7373 - 7406. Which is greater: v or -86/5?
-86/5
Let b be 380/(-152) + (-1 - (-17)/6). Is 35.1 bigger than b?
True
Let q be (3/(-3) - -7)/(6 - 4). Suppose 0 = q*x + 20*s - 16*s - 25, -5*x - 2*s = -37. Is 15/2 > x?
True
Let v(b) = -6*b + 12. Let p be v(2). Suppose 7*w - 4*y + 56 = 4*w, p = 4*w + 4*y + 112. Let x be (-1 - 2)/((-6)/4) + -26. Is w <= x?
True
Suppose -2*p = -m - 20, 0 = p + p - 2*m - 16. Suppose 0 = -p*q - 246 - 186. Are -35 and q non-equal?
True
Let l be 22/(-33) - 100/(-6). Suppose 3*s = 2*s + l*s. Do s and 0.07 have different values?
True
Let r = 29.982 + -29.6. Let p = -0.182 + r. Which is greater: 24 or p?
24
Let y(z) = -332*z + 53. Let i be y(0). Are i and 47 nonequal?
True
Let r(b) = -7*b - 32. Let u be r(-5). Suppose 10*g = u*g - 28. Let l be -3*g/(-6)*(-104)/16. Which is smaller: 23/2 or l?
23/2
Let u = 7 + -4. Let i be 2/u*(-66)/(-4). Suppose -5*y = 4*v - 124, -80 = 833*y - 837*y - 2*v. Is y bigger than i?
True
Let p be 24/(-20)*((-140270)/(-4))/(-13). Suppose -9241 + p = -19*w. Is 318 smaller than w?
False
Suppose -5*v - 11 = -n, -5*v - 11 = -6. Let m = -1 + 15. Let l be 252/(-245) + n/m. Which is bigger: -1/4 or l?
-1/4
Let a = -584813/7 + 86236. Let q = 2687 - a. Does q = -3?
False
Let j = -11 - -17.6. Let l = j + -6. Let u = 64463 + -64462. Which is smaller: l or u?
l
Suppose 17*x - 1402 = 15*x. Do 701 and x have the same value?
True
Suppose 5*d - 3*w = 24851, -17846 = -3*d - 2*w - 2905. Is 4974 < d?
True
Let s = 2/191 + -2491/764. Suppose 9*q - 47 - 16 = 0. Suppose -8 - 6 = q*v. Is s equal to v?
False
Let c = 510 - 509. Which is bigger: c or -538/3?
c
Let q be (-105616)/2788 - 4/34. Which is greater: -136 or q?
q
Let f be (6/(-15))/((-799)/(-255) - -14). Is 1 greater than f?
True
Let u(o) be the second derivative of -16*o**3/3 + 12*o**2 - 59*o. Let b be u(2). Do -159/4 and b have different values?
True
Let b be 4/3*52/156. Which is greater: -74 or b?
b
Let v = -11558 - -11558.1. Which is smaller: 6822 or v?
v
Suppose 21 - 24 = -3*x. Suppose 5*s = 19 + x. Suppose 26 = -s*w + 22. Which is greater: w or -4/17?
-4/17
Let d be ((-210)/(-56)*(-2)/10)/(9/(-143532)). Is 11961 at least as big as d?
True
Suppose 44*k + 67 + 109 = 0. Let a be (-708)/(-430) + 3 + -3. Let x = -84/43 - a. Which is smaller: k or x?
k
Let t = 301 - 296.54. Let o = -3.093 - -2.993. Which is smaller: o or t?
o
Let q = -1903/2996 - -17/28. Let r = 98/321 - q. Which is greater: r or 167/3?
167/3
Let c be ((-522)/3)/((-7)/3 - -3). Let d = c - -260. Which is smaller: d or -15/14?
-15/14
Let x(p) = -p**3 - 10*p**2 - 20*p - 48. Let o be x(-10). Let g = 6 - 1. Suppose 3*j = -4*h - h + o, 0 = -g*j - h + 224. Is j > 44?
False
Let r = -1015 - -582. Let q = 689 + r. Which is greater: q or 254?
q
Suppose 13146 + 28714 = 299*l. Which is bigger: l or 138?
l
Let a = 7611.9773 + -7612. Are a and -2 unequal?
True
Suppose -27*w + 1069 = 205. Suppose -1 = w*v - 1. Are v and -7/51 nonequal?
True
Let v be (-10)/(-145) - (-16852052)/(-2204). Let n = -7653 - v. Is -1 at least n?
True
Let p(r) = -5*r**3 + 5*r**2 + 22*r + 8. Let b be p(3). Suppose -4*f + 11 = -5*f. Which is bigger: f or b?
f
Let s = 37607 - 25840. Which is bigger: s or 1/2?
s
Let z(m) = 2*m**2 - 28*m - 45. Let g be z(18). Let t be 1*6523/g + (-1)/(-9). Which is bigger: t or 65?
t
Let w be ((-1120)/21)/((-4)/30 - (-1680)/(-3150)). Suppose -493 + 165 = -4*k. Is k at most as big as w?
False
Let w be (5/(-15))/((-2)/24). Suppose 0 = -4*d - j + 322, 0 = w*d + j - 3*j - 328. Are d and 83 equal?
False
Let k = 2597 - 2597. Which is greater: k or -35/32?
k
Suppose 18*y + 16448 = 11080 - 20822. Which is bigger: y or -1454?
-1454
Let o = -1.8 - -2. Let u(m) = -5134*m - 15375. Let p be u(-3). Which is smaller: o or p?
o
Let w = 3879.8 + -3880. Let n be 39/(-104) - 1*-1. Does w = n?
False
Let s(i) = 29*i + 4. Let x be s(6). Suppose -5*v - x + 803 = 0. Which is greater: v or 124?
v
Let z be 8/(-2 - -4) + 2. Let i(k) = k + z + 0 + 1 - 3. Let u be i(-9). Is -7 >= u?
False
Let z = -27722 - -36267. Which is bigger: 8542 or z?
z
Suppose 0*y = -9*y + 90. Suppose -15 = -y*x + 5*x. Let m be (1/x)/((-5)/(-2)). Wh