2/27 or v?
2/27
Let y = -14173 - -14174. Let b = -188.6 - -173. Let q = 12 + b. Is q >= y?
False
Let i = -31.92 + 31.612. Which is bigger: i or 2/5?
2/5
Let k be 2 + (-1923)/3 - 3. Let c = 3298/5 + k. Is 18 at most c?
False
Suppose 23240 = -178*m + 143*m. Which is bigger: m or -662?
-662
Suppose 1539 + 1939 = -16*k - 2746. Is k != -385?
True
Let r = 11 + -8. Suppose -y = -r*y. Let a be (28/4)/(3570/306). Which is greater: y or a?
a
Let s(j) = 4*j + 36. Suppose -7 = i + 5*k + 21, 5*k + 37 = -4*i. Let r be s(i). Are r and 17 equal?
False
Let i = 8 + -17. Let g(y) = 2*y + 14. Let k be g(i). Let p be 484/33 + k/6. Which is smaller: 16 or p?
p
Let k = 4/2706154129 + 4170007612769347/857850858893. Let q = 4861 - k. Which is smaller: 1 or q?
q
Let p(i) = -i**2 + 12*i + 25. Let t be p(13). Let d be (18/(-15))/((-6)/t*-63). Is d bigger than 0?
False
Suppose -7276 = -506*q + 470*q + 127976. Which is bigger: 3756 or q?
q
Let y(w) = 56*w + 2567. Let n be y(26). Is n < 4022?
False
Let j be (1 + -1)/((27 - 11) + -14). Let h = -1919/47107 + 10/289. Is h smaller than j?
True
Let t be -12 - 19*(24 + -44). Is -3 at least t?
False
Let s(z) = -10*z - 58. Let g be s(-6). Suppose g*b - 5 = -o, 5*b - 3 - 8 = -4*o. Let y = 8 + -12. Which is smaller: o or y?
y
Let w(x) = -9*x + 454. Let s be w(42). Is s bigger than 76?
False
Let i = -7 - -5. Let u(t) = -92*t - 4. Let k be u(-6). Let s = -552 + k. Which is smaller: i or s?
s
Let b = -7503.4 - -7503. Which is bigger: b or 15?
15
Let i(w) = w**3 + 110*w**2 + 740*w + 68804. Let l be i(-109). Let o be (2/2)/(1/(-6)). Which is smaller: l or o?
o
Suppose -3*p = -3*n + 27, 5*n = -3*p + 319 - 314. Let j be (-592)/170 - 4/10. Which is smaller: j or p?
p
Suppose -3*m = 1 + 2. Let b be ((-184)/(-20) - 9)/(1/(-13)). Let k = b - -284/115. Which is smaller: m or k?
m
Let f = -1.23 + 0.93. Let n = 274 - 244. Are n and f equal?
False
Let o(i) = 436*i + 414. Let k be o(1). Which is smaller: k or 846?
846
Suppose 9*x + 1026 = 171. Let g = 0.9 + 0.1. Which is smaller: g or x?
x
Let a = -165 + 2309/14. Let r = 95.9168 - 0.0168. Let w = 96 - r. Is a smaller than w?
True
Suppose -4*d = 3*y - 18, 5*y + 29*d - 33*d = -34. Which is smaller: y or -3491?
-3491
Suppose 0 = 3*g - 15*g - 12. Let j be (-7)/(35/15) + g. Which is bigger: j or -33/7?
j
Let d be (-5)/(2 + -1) - 107415/3627. Which is smaller: -34 or d?
d
Let j(m) = -m**3 - 2*m**2 + 43*m + 31. Let k be j(6). Which is greater: 10/1677 or k?
k
Let f(w) = -3*w - 7. Let b be f(-7). Let p be 2/3 + 70148/(-156). Let v = -438 - p. Which is smaller: b or v?
v
Let t be 83*(3/15)/((-6)/(-10)). Let u = 33 + -4. Is t at most u?
True
Let n = -49.67 - 6.13. Let j = n - -56. Which is bigger: j or -7/6?
j
Let n be (-1)/7 - (-18 - 61465/(-3591)). Which is greater: n or 2/5?
n
Let g be 7/((-28)/(-8))*-169. Are g and -338 non-equal?
False
Suppose 8*t = 3*t. Suppose 3*q + 1 = -2*c, -q = 4*c + 8 + 9. Suppose 3*b - 3 = t, 6*y - 7*y - 2*b - q = 0. Do -1 and y have different values?
True
Let k = 231.547 + 0.453. Let n = k + -232.1. Which is smaller: n or -105?
-105
Let l = 0 + 7. Let i be (-10)/(-3)*33/(-22). Let r be i/l - (-20)/(-70). Which is bigger: r or -15/7?
r
Let g = -11207/138 + 714/23. Is 1 not equal to g?
True
Let i = -3.58 + -0.98. Let x = 0.56 + i. Is x at most as big as -14?
False
Suppose -233*x = 95*x + 486*x + 6079766. Which is smaller: x or -7468?
x
Let g(t) = t**3 + 25*t**2 + 58*t + 306. Let p be g(-23). Is 62 smaller than p?
False
Let d = -2422.8 + 3108. Let x = d + -623. Let p = 63 - x. Do 2/7 and p have different values?
True
Let g(n) = -1906 - 3*n + 1874 - 28*n. Let h be g(-1). Is h < -29/12?
False
Let w = -189.5 + 175.5. Let j = -11.9 + -3.1. Let s = j + 15.1. Is s < w?
False
Let z(i) be the third derivative of 3*i**4/8 - 14*i**3/3 - 2*i**2. Let x be z(4). Suppose -x*t - 13 = -5. Is t bigger than 3/7?
False
Let g = 57314 + -57341.083. Let q = -0.083 - g. Let y = q + -27.18. Which is greater: -1/2 or y?
y
Suppose -5*w = q - 15, 2*w - 3 = -q + w. Suppose q = -0*r + 3*r + 3, -4*j = -r - 81. Let d be (12/(-10))/(-1 - (-14)/j). Which is smaller: d or 3?
3
Let w be 20650/(-28) + (15/(-6) - -1). Let g = -855 - w. Which is smaller: g or -115?
g
Let b = 6.97 + -7. Let l = -4.37 + b. Let m = -2.5 - l. Are m and 0 non-equal?
True
Let w = 1937/15 - -116/5. Let a = 4943/33 - w. Is -4 less than a?
True
Let n(m) = 178*m**3 - 177*m**3 - 5*m**2 - 68*m + 24*m - 2*m**2 + 4. Let s be n(10). Is 0.1 at least s?
True
Let v be 194145/344 - (-6)/(-16). Which is smaller: 561 or v?
561
Let h = 0.6 - 1.6. Let q = -4693/360 + 237/40. Which is smaller: h or q?
q
Let q be (12/22)/(63/(-462)). Suppose -3*x + 3 - 15 = 0. Does q = x?
True
Let g = -306761 + 3992494413/13015. Is 0 at most g?
False
Let i be 697/2 + (-1)/6*3. Suppose 0 = -8*g + 4*g + i. Let d = g - 44. Which is greater: 42 or d?
d
Suppose -4*r + 8*f - 3*f - 15 = 0, -f = -r - 5. Let h be (2/2276)/(5/r). Which is smaller: 0 or h?
h
Let z = 1207.25 + -1202.3. Which is greater: -1 or z?
z
Let a = -3106 - -3241. Which is bigger: -0.02 or a?
a
Suppose 0 = 14*x + 21 - 91. Let v be 3/(-12) + 18/8. Suppose 0 = x*t - 5*a, -v*a + 1 = -t - 0*t. Which is smaller: 4/3 or t?
t
Let x = 0.4842 - -1034.5158. Which is smaller: 0.1 or x?
0.1
Let x(f) = -f**3 + 10*f + 12. Let b(g) = g**2 + g + 1. Let w = 13 + -10. Let k(o) = w*b(o) - x(o). Let n be k(-4). Which is greater: n or 5?
5
Suppose 388*d - 16072 = -186*d. Which is smaller: d or 813/29?
d
Suppose -1287 = 12*z + 2185 + 356. Which is greater: 0 or z?
0
Let a = -963166/155 - -6214. Let d = -10/93 - a. Let p be ((-30)/4)/(6/(-8)). Is p greater than d?
True
Let r(v) = -16*v + 118. Let a be r(7). Let p be 0*a/54 - 154. Is -157 smaller than p?
True
Let g = 0.9 - -3.3. Let r = g + -4. Let o = -0.8 - r. Which is smaller: 1/46 or o?
o
Let o(p) = 2*p**3 - 67*p**2 - 34*p - 32. Let u be o(34). Let f(m) = 10*m + 315. Let v be f(u). Which is bigger: -10 or v?
v
Suppose 112*j - 33*j + 71*j + 9000 = 0. Is -18 less than j?
False
Let j be (-610)/(-10) + 8/(-2). Let l = j + -54. Suppose u + l*u - 1 = t, u - 4 = 4*t. Do t and -10 have the same value?
False
Let h be -2 + (-450)/(-66) - 5 - (-8722)/47608. Which is greater: h or -0.1?
h
Let z = -3 - -5. Let t = -7 + -23. Let d be 42/t - 2/(-5). Which is greater: z or d?
z
Let w = -0.461 + -0.079. Let r = w - 0.74. Let o = -1.98 - r. Which is greater: -0.11 or o?
-0.11
Let j = 284 - 284.3. Do j and 84 have the same value?
False
Let a = -182 + 194. Suppose 1368 = 3*y - a*y. Is y smaller than -152?
False
Let q be -21*(633/207 - 3). Suppose -2*y - 6 = 4*i, -4 - 2 = i + 2*y. Which is greater: q or i?
i
Let s = -22.92 + 28.92. Let y = -13 - -24. Let n = y - s. Is -0.3 bigger than n?
False
Let n be 4 - (-634 + -6)/4. Let c = -168 + n. Are c and -4 non-equal?
False
Let a(n) = 3*n**3 + 58*n**2 - 117*n - 65. Let g be a(-21). Is 191 equal to g?
False
Let h = 0.09 - 0.354. Let n = -0.004 - h. Let s = -1.74 - n. Are -3 and s equal?
False
Let i be -16 + (48334/231)/13. Suppose 9 + 10 = x + q, 2*q = 4*x - 76. Which is smaller: x or i?
i
Let m(k) = 51*k - 868. Let h be m(17). Which is smaller: h or 1767?
h
Let l(m) = -m**3 - 25*m**2 - 2*m - 62. Let n be l(-25). Let r be ((-102)/n)/(-2 + 95/50). Which is bigger: r or -86?
r
Suppose -12 - 7 = 7*v + 2. Which is bigger: v or -174/79?
-174/79
Suppose 4*w + 6 = 118. Let a be 35/w + (-6)/(-8). Which is bigger: a or 4/5?
a
Let i = -43 - -171/4. Let z be -1304*(-45)/240*(-4)/(-6). Is z bigger than i?
True
Let d = -277 - -473. Let w = 349 - d. Which is greater: w or 152?
w
Let x = 155 - 371. Let m be (0 - -1) + 423/x + -3. Let h = m - 3/8. Is -4 bigger than h?
True
Let d = 30058 + -29998. Is -149 equal to d?
False
Let q = -0.1 + 0.1. Let b = -0.0376 + 0.3476. Let c = -12.31 + b. Which is smaller: q or c?
c
Let v be (2 - (-18 - -13))/(-7). Which is smaller: v or 5/1211?
v
Suppose -5*g - 3*t - t = 0, 3*t = -3*g. Suppose g = -7*b + 3*b. Suppose b = -5*w + 8 + 22. Is 9 <= w?
False
Suppose -3*k = 2*q - 26 - 246, 0 = -2*k - 2*q + 178. Suppose 21*g + 5 = 22*g + 5*x, -2*x + k = 5*g. Which is smaller: 19 or g?
19
Suppose -6*h + 2 + 4 = 0. Suppose -h + 7 = -r. Let l be (-28)/r - 6/9. Which is smaller: l or 0?
0
Let i(h) = -h**2 + 24*h + 529. Let c be i(-11). Is c > 719/5?
True