?
16
Let g = -0.035 - -32.035. Let l = 270/17 - 1063/68. Is l < g?
True
Suppose -2*c = -0*c - 10. Let b be (48/18)/((-7)/((-84)/8)). Let s be (8/12)/(b/(-6) - 0). Which is smaller: c or s?
s
Suppose b - 22 = 3*c, -2*b - 3*b + c = -96. Suppose d + 1 = b. Let h be (-996)/108 - (-4)/d. Which is bigger: -72/7 or h?
h
Let o be 20/((-880)/374)*(-308)/6. Is o at least as big as 436?
True
Let f = 0.88963 + 0.11037. Do f and -6237 have the same value?
False
Let t be 2/(-4) + 147/6. Let x(s) = -s**3 + 14*s**2 + 30*s - 5. Let g be x(14). Let b = -390 + g. Is t at most b?
True
Suppose 11*y - 53*y = 28*y + 223440. Is y less than -3189?
True
Let f = -34.41 + -4. Let s = f - -38. Let k = s + 19.41. Which is greater: 0.1 or k?
k
Let u(l) = 13 + 7*l + 7*l + 3 - 11*l. Let p = -46 - -41. Let o be u(p). Is o != -3/26?
True
Let i(b) = b + 8. Let v be i(-8). Suppose -185 - 405 = -5*j. Let o be j/(-440) + (-1)/(-4). Is v >= o?
True
Let z = 0.4 - 31.4. Let w = -31.02 - z. Let j be (5/10)/(1*(-2)/8). Which is smaller: j or w?
j
Let v(j) = 4*j**3 - 82*j**2 - 34*j - 104. Let z be v(21). Suppose 0 = -2*l + 3*l - 64. Is z <= l?
True
Let g = 0.035 + 0.045. Let u = -0.02 - g. Let b = u - -3.1. Does b = -0.2?
False
Let w = 19278 - 19279. Which is smaller: w or 9/217?
w
Suppose -41*m + 18 = -23*m. Let d = -77 + 549. Let q be d/480 - 4/10. Which is smaller: m or q?
q
Let n = -2/1929 - 5773/13503. Let m = -0.06 - 0.44. Let g = -9.5 - m. Is n at least g?
True
Let d = 74 - 6. Let g = d - 45. Let u = -24 + g. Is -7 bigger than u?
False
Let u = -33986/9 + 3776. Are u and -1796 nonequal?
True
Let s = -17001/50171096 + -3/17176. Which is smaller: s or 0?
s
Let r = 24.3 + 90.7. Let f = r + -73. Let d = -42.1 + f. Which is smaller: 1.1 or d?
d
Let n = 10 + -8. Suppose 4*s - n*s + 2 = 0. Let f be (-4 + 0)/((-3800)/75*(-21)/(-4)). Which is smaller: f or s?
s
Let v = 0.917 + -0.869. Is v >= -20?
True
Let q(b) = -2*b**3 - 2*b**2 - 6*b + 260. Let s be q(0). Is -3/2 < s?
True
Let p(n) = 27*n**2 - 6*n + 5. Let c be p(1). Let r = c + -21. Suppose r*k + 1 = 6*k + 5*i, -3*k - 41 = 4*i. Which is smaller: -21 or k?
-21
Let r be (24/(-9))/((-6)/9). Suppose -4*o = 2*t - 6, -3*t - 2 + 1 = -r*o. Let l = 10/33 + -397/1419. Is l at least as big as o?
False
Suppose -5*n + 10*n + 980 = 0. Let d = n - -195. Is d smaller than 2/275?
True
Let o = 15.97494 - -0.02506. Let k = -5 + 5.01. Let q = k - -0.19. Which is greater: q or o?
o
Suppose 4*t + 17110 = 6*l, 133*l = 132*l - 3*t + 2848. Are l and 2851 non-equal?
False
Let x = -3468 - -3365. Let b = 56 - 159. Is x greater than b?
False
Let h = -2 - -1. Suppose 0 = 4*v + 2*q - 2984, -7*q + 9*q = 4. Let n = -14150/19 + v. Is n less than h?
False
Suppose -58*r = 78*r - 113*r + 2369. Which is greater: -105 or r?
r
Let p = 10568 + -7838. Which is greater: p or 2728?
p
Let f = 0.8716 + -0.97473. Which is greater: 1 or f?
1
Suppose 4*c + 2*s + 6 - 22 = 0, -5*c + 3*s + 9 = 0. Suppose 0 = 2*h - 4*h - 3*r - 5, -5 = -3*h - 2*r. Let u = h - 4. Is u greater than or equal to c?
False
Let a be (-68)/14*1540/(-20). Suppose 22*t = 5*t - a. Which is bigger: -23 or t?
t
Let k be (-2)/(-14) + 3558/(-27160) + (-2)/(-40). Which is greater: k or 1?
1
Let m = 475508/79 + -6019. Let w = 9 - 8. Is m != w?
True
Let b = 11 + -74. Let k = 152 + b. Let c = 87 - k. Which is bigger: -3 or c?
c
Let h be ((-11)/3 - -1)*(-513)/(-76). Suppose 0 - 27 = -3*y. Suppose y*a + 68 = 5*a. Is h bigger than a?
False
Let k = -920 + 889. Let b be ((-32)/5)/1*10. Let w = b - k. Which is greater: -34 or w?
w
Let h be (-1)/(-3) - (31520/3912 + -8 - 0). Do -0.1 and h have the same value?
False
Suppose -41*c + 40*c + 3*f - 1588 = 0, 0 = -3*c - 5*f - 4708. Which is smaller: -1578 or c?
-1578
Let l = -3607 - -2231. Let q = 1422.99 + l. Let z = -47 + q. Is z at most -3/4?
False
Let y = -20036461 + 901695152/45. Let z = y - 1209. Let p = -0.42 + 0.52. Is p greater than or equal to z?
True
Let z = 277 - 127. Let g(x) = x**2 - 7*x + 1. Let k be g(9). Suppose k*a + z = 4*a. Is a equal to -10?
True
Let c = -0.13 + -0.87. Let y = 1128143/304 - 3711. Let w = -1227/3344 - y. Is c != w?
True
Let d = -1084/407 + 38/37. Let v be 14/(21*15/(-105)*4/(-6)). Is v > d?
True
Let y(l) = -l**3 + 18*l**2 - 5*l - 30. Let v be y(16). Let h = 405 - v. Do h and 15/4 have the same value?
False
Suppose 271*d + 146*d + 808146 = 0. Is 0.08 not equal to d?
True
Let g be (-1 - (10 + -20)) + 8778/9. Which is smaller: g or 984?
984
Suppose -4*v - 428 = -4*d, 0 = 4*d + 4. Which is smaller: v or -113?
-113
Suppose 0 = 3*r - 24 - 21. Suppose 4*m = 25 + r. Let i be 4/m*15/6. Is 1 smaller than i?
False
Let m = -146/3 - -50. Let x(y) = 26*y - 45. Let g(t) = 130*t - 228. Let v(f) = -3*g(f) + 14*x(f). Let z be v(2). Which is smaller: m or z?
m
Let g(k) = -2*k**2 - 9*k - 2. Let y be g(-3). Let n be (32/((-28)/y))/(0 + 5). Suppose 4*u + 8 = 4*w, 3*w - 3*u = 8*w + 14. Is w < n?
False
Let o = 116.901 - -0.099. Let w = o - 65. Let u = -58 + w. Is -0.1 bigger than u?
True
Let p = -0.78 + -1.62. Let b = p + 1.4. Which is smaller: b or -16/3?
-16/3
Let a = -5295 + -717. Which is bigger: a or -1/4?
-1/4
Let m(i) = -15 - 2*i**3 + 24 + 3*i**3 - 5*i**2 - 2*i. Let n be m(5). Let j = -2/1491 - 11918/7455. Which is smaller: n or j?
j
Let k = -13280 - -13281. Which is bigger: k or -16/701?
k
Let x = 16126 - 16125. Are -2/42167 and x nonequal?
True
Let i = -6.3 - -6. Let l = -0.3 - i. Suppose r - 4*p + 48 = 9*r, -2*p + 14 = 2*r. Is r less than l?
False
Let l(p) = 2*p**2 + 20*p + 19. Suppose 2*t + 2*t = 5*r + 25, 3*r + 5*t - 22 = 0. Let h be l(r). Let a = 165 - 2474/15. Which is greater: h or a?
h
Suppose 105*k = 111*k - 1620. Suppose -266*n + k*n = 0. Which is smaller: n or 2/183?
n
Let c be 32/(-400)*(-8)/368. Let o = -69111922/63825 + 992682/925. Let l = c - o. Is l bigger than 11?
False
Let w = 0.01611 + 0.98389. Which is bigger: w or 8614?
8614
Let x be 4*(123/(-15))/(12/(-300)). Let a be 152/(-18)*(-4467)/(-46). Let u = x + a. Is 1 greater than or equal to u?
True
Let j be ((-13263)/360 - 30/(-80)) + (1 - -7). Is j at most as big as -0.1?
True
Let y = -23.988 + 24.3. Let z = y + -0.112. Which is bigger: -0.04 or z?
z
Let u = 3 + -31. Let s be (-57122)/104 + 2/8. Let h = s + 520. Which is bigger: h or u?
u
Let z be ((-402)/(-36) - 11)*6. Is -5/354 < z?
True
Let p = -3540 + 894. Which is smaller: p or -1/3?
p
Let j be (-28)/(-49)*1/(-2). Suppose 5*y + 1099 = 1104. Is j bigger than y?
False
Let s = 21145 - 37220. Which is smaller: -16074 or s?
s
Let m = -191 - -195. Let q(v) = -3*v**2 + 12*v. Let t be q(m). Which is bigger: -7/92 or t?
t
Let w = -30861 - -31264. Is w <= 23?
False
Let o = 0.07 - -25.93. Let w = 76 - o. Let j = 14.2 - 13.2. Which is bigger: w or j?
w
Let r = 23020 - 23020. Which is smaller: r or -3/3527?
-3/3527
Suppose 5*x = -3*i + 38, -x = -0*x - 2*i - 18. Suppose -m - x = -8. Let a be (4/(-7))/(-2) + 738/(-378). Is m < a?
True
Suppose 0 = 20*x - 1803 - 17. Suppose -2*u = -135 - 51. Which is greater: u or x?
u
Let y = -17.9 + 17. Let v = 0.6 - y. Let j be (-24)/(-6) + 46/(-11) + 75/(-1100). Is j > v?
False
Let u = -58 + 81. Suppose -2*v - 6 = 0, i - u = 2*v + 2*v. Suppose 5*f - 2*p - 1 + i = 0, -10 = 4*f - 2*p. Is f <= 4/15?
True
Let f = -918 + 922. Let c(r) = -3*r + 38. Let k be c(f). Which is bigger: 33 or k?
33
Suppose 34*d - 83*d - 95 = 46*d. Which is bigger: d or 3/385?
3/385
Let g be 0 - 1 - -4 - 38. Suppose -36*z + 39*z = -q - 121, -5*z - 5*q = 215. Is z > g?
False
Suppose 2*y = 5*y + 3*n, 2*n - 2 = -y. Let d(j) = -j**3 + 18*j**2 - 18*j + 10. Let u be d(17). Let f be u/4 - 6/4. Which is greater: y or f?
y
Let x be (-5)/(-45)*3/(-2). Let m = -1.94708 + -0.05292. Which is bigger: m or x?
x
Suppose 2*n = -2*p - 466, -2*p = 5*n - 537 + 982. Which is smaller: p or -5?
p
Suppose 3*t - s + 5 = 16, -4*t + 16 = -2*s. Let w be (48/(-10))/(2*t/60). Let r = 46 + w. Is r > -9/13?
False
Let s be 96/(-2) + (-3 - -7). Let m be ((-1)/(-2 - s/6))/1. Which is smaller: -1 or m?
-1
Let s = -5/402 + -16379/201. Let z = s + 3445/42. Is 0 not equal to z?
True
Let p be ((-66)/24)/(2/8). Let u(r) = -75*r - 300. Let y be u(-4). Which is bigger: y or p?
y
Let k = -21470 - -150292/7. Is -43.8 at least as big as k?
False
Suppose 0*a = 2*a - 5*p + 409, a + 227 = -5*p. Le