 - 43. Let o = g + x. Which is bigger: o or 0.1?
0.1
Suppose s = -f - 499, -4*f - 689 = -3*s + 1279. Is f <= -499?
False
Let r = -3.6 - -4.5. Let y = 2.2 - r. Let t = -0.3 + y. Which is greater: t or -1?
t
Let h = 0.238 + -0.261. Let j = h - 0.077. Which is smaller: -92 or j?
-92
Suppose 5*h - o = 18, -3*h + 4*o = -2 - 2. Suppose h*a = 4*y + 624, -6*a + 783 = -a - 4*y. Suppose 241 + a = 5*r. Which is smaller: 81 or r?
r
Suppose -1748 = -4*p + 4*l, 0 = -9*l + 4*l. Which is smaller: 436 or p?
436
Let u be (21*144/15876)/(6364/6). Which is smaller: 0 or u?
0
Let o = 44.9 - 45. Let n = -3.407 + -25.373. Let s = n - -29. Is o <= s?
True
Let u = 35492.1 + -35492. Are 2774 and u nonequal?
True
Suppose 170 + 159 = 4*n + 3*t, -335 = -4*n - 5*t. Suppose y = -4*y + 4*c - n, -2*y + 3*c - 39 = 0. Let k be (-2)/(-6) - (-4)/y. Is k smaller than -3/5?
False
Suppose j - 4*t = -2*t - 44, 0 = t - 5. Let u be (-2)/(-3) - j/(-153). Let d be (-1)/(-5) - 8/(-10). Which is greater: d or u?
d
Suppose -v - 1 = -4*v + 2*a, a - 1 = 3*v. Which is smaller: -1/7738 or v?
v
Let s = -26 - -79. Let w = s - 54. Let v = 0.056 + -29.056. Which is greater: w or v?
w
Suppose -2 = -3*c + 4*m, -62*m + 67*m - 38 = -3*c. Let h be c*1/(-8) - (-7582)/136. Which is smaller: 54 or h?
54
Let p = 475 + -489. Let j(t) = -5*t**2 - 68*t + 29. Let q be j(p). Are 6/251 and q equal?
False
Let u be (-64)/(-816)*3*-2*7/8. Which is smaller: u or 1?
u
Let f = -7371/11 + 110599/165. Let z = 16/99 - f. Let x(j) = 3*j**2 + 75*j - 77. Let h be x(-26). Is z greater than h?
False
Let y = -53/44 + 5/4. Let r = y + -13/44. Suppose 24*q - 50*q = 26. Which is bigger: q or r?
r
Let j(m) = -4*m**2 + 24*m - 285. Let d be j(12). Is -573 equal to d?
True
Let m(h) = -h**2 + 2*h - 1. Let o be m(3). Let u = 1394170 - 1394169.977. Is u less than or equal to o?
False
Let y = -162 + 164. Suppose -y*s - t - 22 = -2, 20 = -2*s - 4*t. Let c be 1/(2/(26/(-1))). Is s less than or equal to c?
False
Suppose 3*b + 1 = n, 6*b + n = 5*b - 3. Which is greater: b or 12/257?
12/257
Let v = 305 + -682. Let j = -30508978/37 + 824944. Let g = v + j. Which is greater: g or 1?
1
Let f = -65 - -51. Let j = -6 - f. Let m = j - -16. Which is greater: 23 or m?
m
Let z be (6 - 1)*((-1010)/(-1212))/((-20)/6). Is z bigger than 19.2?
False
Let s be (-7)/21*6 - -105. Let w = s + -308/3. Is -6/13 >= w?
False
Let f = 2.0973 + -2.1973. Which is smaller: f or -2046?
-2046
Let o = -79.1 - -163.3. Is o equal to 0.1?
False
Let t = -0.04 - 1.96. Let x = 2 + t. Suppose -3*a = p - 1 - 4, 0 = -4*p + 4*a + 52. Is x at least p?
False
Suppose 486 = 95*c - 29 - 55. Let m(i) = -i**3 - 7*i**2 + 7*i + 5. Let p be m(-8). Let n be (p/(-52))/((-1)/c). Which is smaller: n or -6/5?
-6/5
Let z be 34/2 - 0*(-4)/(-20). Let i(t) = t - 9. Let b(y) = 2*y - 18. Let o(k) = 3*b(k) - 7*i(k). Let q be o(-8). Is z > q?
False
Suppose 0 = 175*b - 2273 + 348. Let p(w) = -w**2 - 14*w - 9. Let o be p(-9). Suppose -q - o = -4*q. Which is smaller: b or q?
b
Let r(h) = -2*h**3 + 8*h**2 - 8. Let f(n) = -n**3 + n**2 - n - 1. Let p(m) = 3*f(m) - r(m). Let s be p(-4). Is s less than or equal to -1/94?
False
Let j be (3 - 1)*(-213)/(-1065). Which is greater: 159 or j?
159
Let n = -6598 + 6598. Suppose 2*c - 3*o - 66 = 196, 2*c + 4*o = 262. Is n > c?
False
Suppose 61307 + 688933 = 18*r + 14*r. Is r not equal to 23445?
False
Suppose -k - 284 = 3*k. Let x = -10023 + 10020. Is k equal to x?
False
Let c be (720/4)/(-5) - -1. Let h(r) = 4*r**3 - 26*r**2 - 14*r. Let p be h(7). Is p greater than c?
True
Suppose 105*a = 103*a + 68. Let w = a - 27. Suppose k - w = -6*k. Which is greater: -1/82 or k?
k
Let b = 0.0688 + 301.9312. Let p = 303 - b. Which is greater: p or -221?
p
Let s be 36/(-180) + 1/5. Suppose s = -m, 5*m = -3*w + w - 248. Let t(f) = 20*f - 3. Let n be t(-6). Which is smaller: w or n?
w
Let v(q) = 2*q**2 - 4*q - 5. Let k be v(5). Suppose k = 7*l - 2*l. Suppose -4*i - 32 = l*j, 0 = -2*j + 5*i - 5 + 12. Is -1 less than or equal to j?
False
Let q = 8636 + -8658. Is q less than 372?
True
Suppose -1420 = -41*v - 10276. Which is smaller: -1074/5 or v?
v
Suppose -226 = 9*f - 64. Let v be f*((-4)/(-8))/((-3)/2). Let a be (-3)/(-1)*-1*4/v. Are a and -15/7 non-equal?
True
Suppose -37 = -9*t + 494. Let c = 141 - t. Which is bigger: c or 83?
83
Let y = -6766 - -6766. Let n = 13045/21 + -621. Are y and n equal?
False
Let j = -8817 - -11657. Which is smaller: j or 1/2?
1/2
Let q = 8013 + -8010.2. Which is smaller: -35 or q?
-35
Suppose 3*w + 2*d + 116 = 30, -d = -2. Suppose 107 = 3*t - 5*c, -9*t + 11*t = 4*c + 74. Suppose 0 = 10*z - 11*z - t. Which is greater: w or z?
z
Let y = 0.248 + -0.078. Let t = -1.17 + y. Is t < 47?
True
Let s = 1356.5726 + -1359.6. Let p = -0.0036 + s. Let i = 0.031 + p. Are -1/31 and i nonequal?
True
Let w be (-3)/(-144)*-241 - (6 - 10). Which is bigger: w or -2?
w
Let c = 2.855 + -2.8. Let r be ((-2)/5)/((-972)/810). Which is smaller: c or r?
c
Let i = 104.06721 + -0.06721. Let a = -0.13 - -104.13. Let w = a - i. Is 11 greater than w?
True
Suppose 53*n - 2217 = -227*n - 257. Which is smaller: n or 0?
0
Suppose 0 = 2*b + 2*q - 38, -55 = -b - 2*b - 2*q. Let w(y) = -5*y**2 + 986*y + 1803. Let t be w(199). Which is greater: t or b?
b
Suppose 5*f = 15, 580*z + 5*f - 402 = 583*z. Which is smaller: z or -117?
z
Let l(r) = -2*r**2 - 41*r + 42. Let g be l(1). Is g < 1/2060?
True
Let p(j) = -2*j**3 + 94*j**2 - 11*j + 242. Let b be p(47). Which is smaller: b or -274?
b
Let q = -656 + 761. Which is greater: 53 or q?
q
Let a(l) = -61*l - 2341. Let f be a(-36). Which is greater: f or -144?
-144
Let n be ((-4)/2)/2 + -1. Let x be (0 - 1)/(n/22). Let z = -9453 + 9453. Is x smaller than z?
False
Let v be (4*(-5)/(-6))/(3*414/(-81)). Suppose n - 4*n + 5 = 5*r, -4*n = 4*r - 4. Which is bigger: r or v?
r
Let h = 24/26059 - 514743523/104236. Which is bigger: h or -4937?
-4937
Let s be (-455)/15 + (-1)/(-6)*2. Let m be s/(-4) + ((-3)/(-2) - 1). Suppose -4*r + m = -3*r. Which is smaller: r or 5?
5
Suppose -220 = -5*i - 5*q, -6*i - 3*q = -5*i - 38. Let l = i - 28. Is l at most 17?
False
Let w = 349 - 377. Let x be w/8 - (-231)/60. Which is smaller: x or 0?
0
Suppose -4*g = -4*o + 20, -4*g - 10 = 4*o - 3*o. Let j be (g + (-102)/(-18))*(-3)/2. Which is bigger: j or 3?
3
Let b be (-4)/1 - ((-5481)/(-456) + (-110)/(-1045)). Which is bigger: 1/3 or b?
1/3
Suppose 10*b = b - 14061 + 14061. Suppose -a + 2*a = l - 7, -11 = 2*a - l. Let y be 1/54*(-6)/a. Which is greater: y or b?
y
Let p(d) = -719*d + 365974. Let z be p(509). Let l be -1 + 2 - (-17)/18. Is z bigger than l?
True
Suppose 0 = 3*k - 0*k - 96. Suppose -16 = -8*u + k. Let p(t) = t**2 - 4*t + 8. Let x be p(4). Which is greater: x or u?
x
Suppose 0 = -13*z + 3*z. Let j be (-4 - 9/(-3)) + (-42)/(-43). Is z greater than j?
True
Suppose -3*y + 2*w - 47 = 0, -y - 8*w + 3*w = 27. Suppose -4*t = 60 + 28. Which is bigger: y or t?
y
Let l be 28/(-16)*60/(-770). Let o = -15 + 17. Suppose 0 = o*j - 7*j. Do j and l have different values?
True
Let d = -0.13967 + -5.68733. Let b = 0.173 - d. Is b bigger than -2/3?
True
Let t = 5 + -267. Which is bigger: t or -263?
t
Let i = -4528 - -2376. Does i = -2151?
False
Let l be (-4)/236*33030/558 + 1. Which is smaller: l or 0?
l
Let g be (-15)/(-10)*-2*1. Let v(x) = x**2 + 14*x + 45. Let i be v(-8). Is g <= i?
True
Let p(c) = -c**2 + 36*c - 49. Let o be p(15). Suppose -2*l = 6 - o. Do 130 and l have different values?
False
Let a(g) = -g**3 - 13*g**2 - 37*g - 2. Let y be a(-11). Let z = 165 - y. Which is smaller: z or 3?
z
Suppose 3*u = -d - 1576, 5*u - 1032 = 7*u - 2*d. Is -523 <= u?
True
Let p be 132/(-230) + 6/10. Let v = -1221 + 1220. Is p at most as big as v?
False
Suppose 9 = -t + 4*p, -5*t + p + 0 = 7. Do t and -1/27 have different values?
True
Let t be -20 + (-312)/(-13) + (-3)/(1 - 0). Is t smaller than 204?
True
Let s be 108627/25 - (-59)/590*8/(-10). Which is smaller: s or 4343?
4343
Let m = 103 + -54. Let c = -65 - -114. Let u = m - c. Which is smaller: u or 3?
u
Let l = 37 + -156. Let f = 119.3 + l. Are f and 0.06 unequal?
True
Suppose -6 = -139*z + 138*z, 4 = 2*k + z. Suppose -y = -f - 4*f - 21, -3*y = 2*f - 12. Is y smaller than k?
False
Let s(u) = -u**3 - u**2 + 7*u - 1. Let m be s(-3). Let z(t) = -t + 