 r = -2. Let a be ((-2)/q)/(1/1). Is z less than or equal to a?
True
Let t = -27 + 163/6. Let k = -1057308/109 + 9700. Let i = 66/2071 - k. Is i < t?
True
Let f be (289/(-442))/(4/(-308)). Let h = 21/67 - -6725/134. Let a = h - f. Is a greater than or equal to 0?
True
Suppose 2*v + 112 = -25*p + 28*p, 0 = v + 3*p + 20. Which is smaller: v or 5/3?
v
Let g be 2 + 9 + (-2913216)/576. Is -5047 >= g?
False
Suppose 6*m + 35589 = 35487. Which is smaller: -266/17 or m?
m
Let r(k) = k**3 + 2*k**2 - 9*k - 19. Suppose 0 = -10*h - 354 + 324. Let n be r(h). Is -3 equal to n?
False
Let m be ((-14)/(-18) - 1)*-3*(-37 + 25). Which is bigger: 11 or m?
11
Let p = 1683 - 9976823/5928. Is 0 >= p?
False
Suppose u = 276 + 291. Let a = u + -452. Which is bigger: 111 or a?
a
Suppose -4*q = -g + 4*g, 0 = 2*q + 2*g - 2. Let t = 631/2 - 1903/6. Which is greater: t or q?
t
Let m be (-124)/(-819) + (2 - (-28)/(-13)). Let d = 30287/6552 - m. Which is smaller: d or 4?
4
Let r(w) = 128*w - 7. Let l be r(1). Let g = 72 - l. Do -50 and g have the same value?
False
Let x(a) = 414*a + 83216. Let g be x(-201). Suppose 3*w + 2*h = 6*w + 13, 3*h - 6 = 0. Let z = w - -6. Which is smaller: z or g?
g
Suppose 2*i + 2*i = 4. Let g = 116680/7 - 16668. Is g > i?
False
Suppose -5*u + 4*q + 40 = 0, 2*q = -3*u - 2*q + 56. Suppose 3*w = -3*k - u, 3*k + w = 3 - 11. Let h be 3 + ((-44)/14 - 2). Are k and h equal?
False
Let d = -0.0826 - -0.1826. Is 228 not equal to d?
True
Let b = 81 - 14. Let v = 201630 - 201564. Which is greater: b or v?
b
Suppose -3 = -o, 3*j = -5*o - 13 + 28. Let l be (j + 3)*(-11)/(-33). Suppose -83*t = -84*t + l. Which is bigger: t or 1/8?
t
Let d = 90487/59640 + -5/1704. Let p = 257/140 - 1/28. Let v = p - d. Which is smaller: -1 or v?
-1
Let b = -295491 + 871837/3. Which is smaller: b or -4878?
b
Let w(u) = -u**3 + 18*u**2 - 14*u + 249. Let j be w(18). Let c = 15 - 21. Let n be ((-88)/(-18)*j)/c. Are 2 and n non-equal?
True
Let q be 3/(33/(-209)) - (2 - 0). Let k(d) = d**3 + 21*d**2 + 4*d + 35. Let s be k(q). Is s not equal to -50?
True
Suppose 42 = -5*i - 8. Let p(u) = 3*u - 17. Let a be p(i). Let o = -41 - a. Which is smaller: 10 or o?
o
Suppose 2*m - 17 = 3. Let r(h) be the second derivative of h**4/12 - 3*h**3/2 - 9*h**2/2 - 493*h - 1. Let d be r(m). Is 6/11 equal to d?
False
Let k = 9.66 - 12.8. Let u = 0.14 + k. Which is smaller: u or -4?
-4
Suppose 2*a = -3*a - 18 + 363. Is 72 > a?
True
Let s(b) = b**3 - 19*b**2 + 10*b - 171. Let a be s(19). Which is bigger: -0.083 or a?
a
Let b = 253/4 - 745/12. Suppose 0 = -0*c - 2*c + 2. Which is bigger: c or b?
b
Let y(c) = -12*c**2 - 10*c - 6. Let f be y(-6). Let z be f/(-8) - 2/8. Let g be (-2)/((-36880)/752 - -49). Are z and g unequal?
False
Let b be (6/(-4))/((-3)/(-1)). Let y = -0.0717 - -0.2317. Let l = 0.101 - y. Is l != b?
True
Let d = -71 + 30. Let o(c) = 13*c - 5. Let n be o(8). Let y be d/(-144) - 22/n. Is -1 at most y?
True
Let l = -7828.6 - -7834. Is l less than -2?
False
Let g(k) = 96*k**2 - 23*k - 2. Let z be g(1). Is z bigger than -10?
True
Let t(w) = 3*w - 10. Suppose -4*k + 8 = 0, 12 = j + 2*k + 2*k. Let f be -3*j/(12/(-5)). Let m be t(f). Is m less than 39/7?
True
Let b = 23 + 118. Let a = b - 79. Let g = 63 - a. Is -8 at least as big as g?
False
Suppose -w + 8 - 10 = 0. Let m be 0/w + 52/9386. Which is smaller: 1 or m?
m
Suppose 2*o - 6 = 0, -4*w + 43*o = 47*o + 1304. Is w less than or equal to -329?
True
Suppose 124 = -x - 3*f, -95*x - f = -99*x - 522. Is x < -4?
True
Suppose -2*u = -223 - 61. Suppose -c - u = -98. Is c equal to -41?
False
Let t be (-3)/(12/(-86))*6. Let c = -59 + t. Suppose 2*g + c = -2*m, 3*m - 4*g + 126 = 14. Is m at least as big as -36?
True
Let x be 3/(-93) - (-59410)/15810. Which is greater: 3 or x?
x
Let q = -3919/6 - -56602135/86658. Is 1 at least as big as q?
True
Suppose -g = 14*m - 13*m + 58, -m = 4*g + 241. Which is smaller: g or -59?
g
Let u = -142 + 366. Suppose -u - 301 = 21*k. Is -27 >= k?
False
Let y = -3357 + 2205. Let x be 2 - 10/4*y/(-90). Does x = -30?
True
Let n(q) be the second derivative of -q**4/12 - 25*q**3/6 + 47*q**2 + 5*q - 10. Let a be n(-28). Which is smaller: a or 1/2?
1/2
Suppose -3*o - 13 = -79. Let q = 31 - o. Let g = -6 + q. Is g at most as big as 4?
True
Let a(j) = j**3 + 20*j**2 + 42*j + 30. Let t be a(-17). Suppose -402 - t = -9*v. Which is greater: 0.3 or v?
v
Let g(u) = u**3 - 19*u**2 - 2*u + 38. Let x be g(19). Suppose x = 3*l - 275 + 128. Do l and 48 have the same value?
False
Let c = -15 - 45. Let i be 22573/c - (1/1)/(-4). Let b = i - -376. Is 1 less than b?
False
Suppose 3*x + s - 30646 = 0, 26*s + 2041 - 12282 = -x. Which is greater: 0 or x?
x
Let x = 19.046 - 19.2. Let j = x - 7.846. Is 1 != j?
True
Let m(t) = -10*t + 103. Let b be m(10). Suppose 2*g + 25 = 7*g, g - 8 = -b*p. Which is greater: p or -1/12?
p
Let m = -2881 - -2881. Is m less than -12?
False
Let s = -447 + 451. Suppose -20*l + s*l = 0. Do 4/83 and l have different values?
True
Let h be (-46)/(((-4 - 0) + 53)*3). Let t = h + -1/49. Let s = 4/69 + 34/207. Which is smaller: t or s?
t
Let r = 309.5 + -518. Let y = 118.4 + r. Let u = y - -90. Which is greater: 1/5 or u?
1/5
Let n = -217157 - -217179. Let s be 0/1 + 18/2. Is s < n?
True
Let p(z) = z**2 - 13*z - 124. Let h be p(-13). Let c = -150 - -363. Is h greater than c?
True
Let k = 6.676 - 27.511. Let b = k + 0.835. Is -0.6 less than or equal to b?
False
Let v(y) = 3*y - 25. Let z be v(10). Suppose -d - 5*b - 26 = 0, -19 = 3*d + z*b + 9. Let p(q) = -2*q**2 - 2*q - 1. Let x be p(d). Which is greater: x or 3?
3
Let j = -1506.9 + 1374.9. Let o = 0 + 1. Is o greater than j?
True
Let j = 65/2 + -33. Let a = 5817 + -296665/51. Which is smaller: j or a?
j
Let s(z) be the first derivative of z**3/3 + 3*z**2 - 5*z + 7. Let c be s(-8). Suppose 3*h - 4*l + 13 = 2, -h + 5*l = c. Which is smaller: h or 1/66?
h
Let s(d) = 57*d**2 + 9*d + 6. Let t be s(-2). Suppose 211*u = t*u + 100. Which is greater: -18 or u?
-18
Let u = 19911 + -19868. Is -1.12 at least as big as u?
False
Let q(o) = 26*o - 54*o - 14 + 26*o. Let s be q(-7). Is s not equal to -2/27?
True
Suppose -81*v + 1079 = 171*v - 937. Suppose 2*o + 28 = 6*o. Is v greater than o?
True
Let b be (((-96)/(-1370))/3)/(6 + (-740)/125). Which is smaller: b or 1?
b
Suppose -2536*c = -2533*c + 18, p = 5*c - 3039. Is p less than -1/3?
True
Suppose 71*a = -15*a. Let l(n) = 11*n**3 + n**2 - n + 1. Let v be l(1). Suppose a = 2*q + 2*d + 2*d + v, d = -5*q - 3. Is 2/107 less than q?
False
Let l = -75536/113295 - -2/37765. Which is greater: l or -5073?
l
Let w(p) = -3*p - 2 + 0*p + 6*p + 0*p. Let m be w(5). Let l = -171 - -183. Are l and m nonequal?
True
Suppose 5*r - 112 = 3*q, -2*r - 14 = -3*q - 66. Let j be (3 - -1)/(r - (-11 - -1)). Are j and 1 unequal?
True
Let b be (965/(-165) + 2/11)*(3 + 0). Which is smaller: 1.85 or b?
b
Let b(h) = 6*h + 19. Suppose 22*d + 72 = 18*d. Let k be b(d). Let u = 88 + k. Which is greater: 3/26 or u?
3/26
Let d be (-21)/98 - 13595/(-70). Suppose -5*s - 2*i + 196 = -4*s, -s - 3*i + 196 = 0. Is d != s?
True
Suppose -3*p + 32 = -5*g + 9, 4*g - 52 = -4*p. Let w be (2/(-6) - 0)/((-28)/252). Suppose w = -3*q + 39. Is p < q?
True
Let h = 118515/23 - 5128. Is 1/3 equal to h?
False
Let l = 316 - 193. Let q = -83 + l. Let z = q + -43. Is z less than or equal to -11?
False
Suppose -5*d - 21 = -6. Let f be ((d - -1) + 2)/(-7 + 9). Suppose 10*m + 43 + 17 = f. Does m = -5?
False
Let q be (-15 - -5)*((-143)/(-110))/(-13). Which is smaller: -3019 or q?
-3019
Let y be (0 - -1)*(-176)/(-11). Suppose -y = 3*q - 2*p, 0 = 5*p + 3 + 2. Suppose -3*x = -f + 8 + 4, 4*x - 4*f + 8 = 0. Is x > q?
True
Let u be 4/((-4)/(-3)) + (49 - 1). Let c = 49 - u. Which is bigger: c or 22/7?
22/7
Suppose 1189*l = 1194*l - 375. Which is bigger: l or 84?
84
Let j = -1166532/265 - -4402. Let n = 369 + -368.9. Are j and n non-equal?
True
Let v = 239/45 - 31/5. Let r be -2 - 1075/(-246) - (3 + 0). Let z = 3/82 - r. Are z and v nonequal?
True
Let h(s) = -4*s - 45. Let c be h(-13). Suppose 65 = -c*i + 58. Is i not equal to -1/30?
True
Let l = 164.2 + 1069.1. Which is smaller: l or 0.1?
0.1
Suppose -30*m = -26*m - 16. Let f be (144/12)/((-15)/20). Which is smaller: m or f?
f
Let w(v) = -v**3 - 8*v**2 + 5*v - 9. 