60 + -11459. Which is smaller: 1/12929 or x?
1/12929
Let j be 1119/(-9) - (-45)/(-27). Let a be (-5)/(-3)*1827/j. Is a != -23?
True
Let g(o) = o**3 + 51*o**2 - 105*o + 51. Let y be g(-53). Which is greater: -108/7 or y?
y
Let o be (1 + (-34)/30)/((-2)/(-6)). Let m = -3.8 - 1.2. Let u = m + 23. Which is bigger: o or u?
u
Suppose 30*n + 18*n = n. Is n at most as big as 2/295?
True
Suppose 94*q = 90*q + 2*c + 4156, -3*q = -c - 3115. Let g = -64297/62 + q. Let o(m) = m**3 + 3*m**2 + 1. Let k be o(-3). Which is greater: g or k?
k
Suppose 0 = 2*r, 180*g - 4*r - 13240 = 185*g. Is -2648 smaller than g?
False
Let g = 1/5 - -2/15. Let y = 11920/11 - 1082. Is y greater than or equal to g?
True
Let j = 0.627 + -0.527. Is j bigger than -6.799?
True
Let w be (6/8)/((-10)/(-4)). Let r(b) = -b**3 + 68*b**2 - 133*b + 66. Let f be r(66). Which is smaller: f or w?
f
Suppose 7*b = 4*j + 3*b + 44, 51 = -3*j - 3*b. Let y be ((-36)/j)/(-3*(-6)/126). Let l be (-37 - -40) + (-104)/y + 1. Which is greater: -1 or l?
-1
Let d be (540/(-1215) - (-9794)/(-36))*-2. Is 545 greater than d?
False
Let y = -133 - -69. Suppose -49*a - 62 = t - 45*a, 3*t = 5*a - 203. Which is smaller: t or y?
t
Suppose 3180 - 12399 = -6*f + 13*f. Is f < -1317?
False
Let k = 1999 - 1998.8. Let z = 6.2 + -0.2. Let l = 6.03 - z. Which is smaller: k or l?
l
Let p = 103 - 555. Let b = 4064/9 + p. Is 0.1 at least b?
True
Let k be -6 + (-85)/(-15) - (-25)/3. Suppose 21 = k*w - 5*w. Let a(n) = -7*n - 21. Let g be a(-4). Are w and g unequal?
False
Suppose -c = -2*x + 3*x - 59, 4*c - x = 236. Suppose z = v - 6*v - 60, 3*v + c = 4*z. Which is smaller: -17 or v?
-17
Let v = 8.592 + -8.592. Is -845 less than v?
True
Let j(m) = -2*m**2 + 80*m - 1347. Let y be j(28). Is y at least as big as -674?
False
Let t be (-26 + -1)*(6 + 88/(-24)). Let a be (42/t)/((-1)/(-3)). Is 2.5 at least a?
True
Let l = 1592673 - 1592696. Suppose 2*z + 15 = -z. Let p(w) = 4*w - 4. Let r be p(z). Which is smaller: r or l?
r
Let d be 1*2/(-3) + (-2604)/36. Let u = -226 + 152. Which is smaller: u or d?
u
Let n = 807 - 807.07. Let z = 8 + -9. Let y be ((-2)/(-13))/(z/(-2)). Is y greater than or equal to n?
True
Suppose -2*u + 106 = 26. Let r = u - 40. Let m be -4 + 1 - 0/(-5). Which is bigger: m or r?
r
Let r be (-8)/((-264)/(-159)) - (-4)/(-22). Let b = 189 + -105. Let h be (-8)/12*b/8. Which is smaller: r or h?
h
Let q = -1673 + 1114. Is -559 at most as big as q?
True
Let y = -2005 - -504. Which is smaller: y or -2/3?
y
Let n = 6114/19 - 322. Let v(r) = 10*r**2 + 31*r - 53. Let t(j) = -4*j**2 - 17*j + 26. Let y(d) = -7*t(d) - 3*v(d). Let g be y(12). Is g less than n?
False
Let x be (-2112)/(-77)*250/(-45). Let u = x + 452/3. Are u and -2 equal?
False
Suppose -3*m - 6 = -0*m. Suppose -40 = -48*l + 44*l. Let g be 1/m - l/(-4). Which is bigger: g or 16/5?
16/5
Let l(o) = -o**2 - 64*o - 63. Let c be l(-63). Which is greater: -2/64183 or c?
c
Let l = 40597 + -202986/5. Is 0 less than or equal to l?
False
Let j be -8*-1*(-183)/(-12). Suppose 303 = -5*f - 2*n, -2*f + 4*f = -n - j. Let u = f + 70. Which is bigger: u or 3?
u
Let s be (1 + -2)*(17 + -22). Suppose -25 = 2*u - 5*i, 0*u + i - s = u. Is -117 smaller than u?
True
Suppose 2*n + 5*z + 12 = 31, 3*n + z - 9 = 0. Suppose n*l + 4*l = 24. Let r be l/(-12) + (-1)/(-1). Which is greater: r or -2/3?
r
Let k = -0.79 - -0.764. Let w = -0.526 - k. Which is smaller: w or -5?
-5
Suppose -9*f + 2*f + 189 = 0. Let c = -17 + f. Let s be (-2)/(-5) + (46/c - 3). Is 2 equal to s?
True
Suppose 0 = 3*y - 0*y - 63. Suppose -27 = -x - 16. Suppose -4*f - y - x = 0. Which is smaller: -9 or f?
-9
Suppose 41*k - 87*k + 322 = -0*k. Let a = 759 + -3757/5. Which is greater: a or k?
a
Suppose 345*l - l = -3784. Suppose 32 - 2 = -5*r. Which is greater: l or r?
r
Let w = -39.23 + 39. Let j = 9.63 + w. Let m = j - 9.5. Does 0.009 = m?
False
Suppose 0 = 12*v + 5903 - 1847. Let b = v + 4396/13. Suppose -5*r = -t + 25, -4*t - 2*r - 25 = 3*r. Which is smaller: t or b?
t
Let n(v) = -8*v**3 + 13*v**2 + 51*v - 63. Let t be n(1). Let x = -4583/28 + 629/4. Is t smaller than x?
True
Suppose 16*m = 44 + 388. Suppose 3 = -8*f + m. Which is greater: 2.3 or f?
f
Suppose 2*t + 1809 + 4317 = 4*c, -3*t - 1534 = -c. Is c >= 7662/5?
False
Let d be 6/1 - 1585976/(-1652). Let p = -966 + d. Is -1 less than p?
True
Let p = 2 - 12. Let o be (-44 - 0)*(25/p - -3). Which is smaller: -43/2 or o?
o
Let n = 3404.477 - 3404. Which is greater: n or 0.07?
n
Suppose -260 = 5*c + 5*a, 0 = -4*c + a - 0*a - 233. Let l(t) = -5*t**2 - 3026*t - 12081. Let v be l(-4). Do c and v have different values?
False
Let s(o) = -o**2 - 123*o - 1006. Let u be s(-8). Is u at least as big as -73?
False
Let z = -4796 + 4828. Which is smaller: -3/5 or z?
-3/5
Let y be ((-6)/((-12)/10))/((-2)/(-2)). Let s be ((30/9)/y)/((-8)/876). Do s and -74 have different values?
True
Let x = 12 - -142. Let f = -140 + x. Which is smaller: f or 1/8?
1/8
Let n(o) = o**3 + 37*o**2 + 104*o + 60. Let m be n(-34). Let s be (m + 6)*2/(-22). Let a be (-8)/84*(-1)/(-2). Which is smaller: a or s?
a
Let d be (-8)/9 - (-4)/6. Suppose 0 = 3*u + 48 - 108. Suppose -u = -2*p + 4*h, 0 = -p + 7*h - 6*h + 5. Is d at least as big as p?
False
Let k = -537.3 - -562. Let z = k - 27.7. Let g = -87/68 - -9/17. Is z at least g?
False
Let m be 1/(3471/(-4005) + (4/(-15))/2). Is m at most as big as 1/1236?
True
Let b(u) = u**3 - 20*u**2 + 19*u + 9. Let j be b(9). Which is smaller: -714 or j?
-714
Let q be (79 + -203)/(8/(-34)). Is 2107/4 < q?
True
Let n = -756293769196/591 + 1279684525. Let q = 1091/3 + n. Which is smaller: -1 or q?
-1
Let b = -1965 - -1968. Which is smaller: b or 77/24?
b
Let w = -289 - -187.5. Let k = 18.5 + w. Is 1 <= k?
False
Let l = 77 - -40. Let i be l/6*4/18*-12. Let w = 51 + i. Is 1/29 > w?
True
Let s = 2/308749 + 12349954/926247. Let t = 27 - 13. Is t smaller than s?
False
Suppose -248 = -4*b + 5*n + 104, -2*b + 176 = 2*n. Let h = 91 - b. Suppose 3*y - 1 = -10, -m + 12 = -h*y. Which is greater: -2/63 or m?
m
Suppose 472*b - 12 = 484*b. Is -3/272 at least b?
True
Let b = 0.05 + -2.95. Let w = b + -0.1. Let j = -1416 - -1418. Which is smaller: j or w?
w
Let w be (-1 + (-753)/(-414))*(-191205)/218. Let d = -863/436 + w. Let j = d - -720. Which is smaller: 1 or j?
j
Let p be (-10)/3*(-57)/95. Let m be (p/17 + 196/68)/3. Is m smaller than -1/36?
False
Suppose -4*f = 5*w - 108, 0 = 5*w - 2*f - 3*f - 90. Suppose -3*y + y = -2*j, -j - w = -5*y. Suppose -y = o - 3. Which is bigger: 1 or o?
1
Let g = 15.3 + -15.2. Let n = 24 - 21.4. Let u = -1.4 - n. Which is smaller: u or g?
u
Let u = 191249/7 + -27402. Which is smaller: -82 or u?
-82
Let u = -10 + 44. Suppose -45*j = 18*j - 1657 - 485. Is j smaller than u?
False
Let o be (-12)/((-1394)/(-56) - 16). Is -1 smaller than o?
False
Let d = 345 + -681. Let p = d - -310. Let k = 65 - 91. Is k > p?
False
Let k be (-987206)/5115 + (-7)/((-14)/4). Let u = -258/155 + k. Which is greater: u or -193?
u
Let v be -1 - (7/6 - 3). Let t(p) = -p - 20. Let f be t(-23). Let a be 3/(-6) + f/6. Which is bigger: a or v?
v
Let a(w) = w**2 - 7*w - 82. Let c be a(-6). Which is smaller: c or -75/8?
-75/8
Let t be ((-30)/(-363870))/((-5)/(-75) + 0). Which is smaller: t or 1?
t
Let j be 4/18 - (8 + (-679)/63). Let m = -111044775/133 - -834931. Let x = -90/19 + m. Are x and j non-equal?
True
Let h = -415 + 417. Is h > 2/195?
True
Let s be (-25240)/6*90/75. Let h = -388714/77 - s. Are 0 and h nonequal?
True
Let l be 6/(-15) - (-1372)/(-20). Let v be -1 + (-306)/l - 3. Let c(o) = o**2 + 23*o. Let s be c(-23). Which is smaller: s or v?
s
Let z = 47.379 - 14.255. Let b = -33 + z. Let h = 0.026 + b. Is 2 greater than h?
True
Suppose -4*h = -15 - 5. Let j = h - 6. Suppose 0 = -956*c + 962*c - 30. Which is smaller: c or j?
j
Suppose -81*u = -92*u. Let k be 1 + 54 - (-14)/(-7). Suppose u = 4*x - k + 57. Which is smaller: -14/17 or x?
x
Let z = -709 + 4973/7. Suppose 3*d = 7*d - 8. Suppose 2 = t - d*s + 1, 0 = -5*t - 2*s + 5. Which is greater: t or z?
z
Let o(m) = -14*m + 296. Let f be o(21). Let k = 23 + -8. Let p be 51/k - f/10. Is 3 >= p?
False
Let u = -7.71 + -0.09. Let t = u + 6.8. Do t and 29/8 have different values?
True
Let q be 12 + 1616/(-136) + (-2656)/34. Which is bigger