18)/12 + (-301)/(-210). Is j <= s?
True
Suppose 4926 = -24*c - 7506. Is -1037/2 at most as big as c?
True
Let m be 14/(6 - -1) + -12 + 2. Let g be (-1 + -5 + 5)*m. Is 64/9 smaller than g?
True
Let m = 48.02 + -48.02. Let d = 0.9 - 1. Which is smaller: d or m?
d
Let c be 1/(-2)*-2 + 28/(-16). Is -35 less than c?
True
Let h(o) = 20*o + 94. Let f be h(-13). Which is smaller: f or 1?
f
Suppose 767 = 4*n + 127. Is n at most as big as 160?
True
Suppose -h + 2*h + 2*z = 89, 5*h = -2*z + 413. Let f = -81 + h. Which is smaller: f or -2/3?
-2/3
Let l = 230.57 - 6.57. Which is greater: -1/3 or l?
l
Suppose -2*r + 4*t = -136, 5*t + 0 - 25 = 0. Let x be (((-72)/r)/4)/(2/4). Let p(d) = -d**2 - 3*d + 1. Let s be p(-3). Is x not equal to s?
True
Let z = 45 + -42.9. Let b = 4.39 + -1.99. Let v = z - b. Which is greater: 1 or v?
1
Let i(f) = -39*f + 233. Let w be i(6). Is w >= -19/3?
True
Let m = -5.836 - -0.036. Let z = -5.7 - m. Are 14/9 and z non-equal?
True
Suppose 5*c + 15 = -5*v, 0 = -v - 0*c - 2*c - 8. Let y be (v + -1)*12/(-66). Let j = 1 + 0. Which is smaller: j or y?
y
Let j(h) = h**3 + 9*h**2 + 9*h + 5. Let c be j(-8). Let r be 14/c + 10/15. Let u be (-4)/(-18) - r/(-18). Is -2/59 >= u?
False
Let a(u) = -9*u**2 - 6*u + 9. Let j be a(-5). Do j and -187 have different values?
True
Let y = 2.6 - 12.6. Let a = -0.21 - -0.01. Which is greater: y or a?
a
Let n = -114 - -113. Which is smaller: n or -8?
-8
Let q be ((-4)/6)/((24/99)/4). Let s be q - ((-8)/4 - -1). Which is bigger: s or -11?
s
Let w be (-6)/(-15) + 111/(-15). Let o be 2060/721*(0 - 14/6). Is w <= o?
True
Suppose 2*x = 7*x. Let j(i) = 4*i + x*i + 4*i - 4*i. Let m be j(1). Which is smaller: 5 or m?
m
Suppose 0*p - 124 = -4*p. Let i = -249/8 + p. Suppose 0*f = 3*f + 3. Which is smaller: f or i?
f
Suppose f = 2*o, f + 5*o + 0 = -7. Let t be 2/(3*f)*-3. Let w be (1/3)/(1/3). Is w equal to t?
True
Suppose 3*i = -115 - 23. Do -45 and i have the same value?
False
Suppose 1657 = 12*g - 119. Which is smaller: 151 or g?
g
Let k = 945/2288 + -5/176. Let y(g) = -g**3 + 11*g**2 - 13*g + 31. Let c be y(10). Is c at most as big as k?
False
Suppose 0 = -11*n - 79 - 53. Let k = -10.1 - -10. Let z = k + -0.1. Which is smaller: n or z?
n
Let q(h) = -h**3 + 2*h**2 + 5*h + 27. Let o be q(5). Is o at most -24?
False
Let w be 15/(-21)*(2 + 48/(-30)). Suppose -2*j - 5 + 3 = 0. Let u(b) = -b**3 + b**2 + b. Let n be u(j). Which is smaller: w or n?
w
Let g(z) = 3*z - 21. Let p(s) = -s. Let b(o) = -g(o) - 5*p(o). Let q be b(-10). Suppose 4*j - 5 + q = 5*w, 3*j = 4*w + 3. Which is bigger: w or 1/11?
1/11
Let k(a) = 4*a. Let w be k(-1). Let q be 1/w - (-180)/(-48). Let i be q/7 + (-162)/(-63). Is i equal to 9/8?
False
Suppose -5*n - 2445 = -q, 2*n + 5*q + 238 = -713. Which is bigger: n or -487?
-487
Suppose -4*l - 2*l = -66. Suppose -w + 0*w - l = -t, 3*t - 15 = -3*w. Which is smaller: 9 or t?
t
Let c be 4/26 - (-3280)/(-26). Let w be c/(-32) - (5 - 1). Which is greater: 0 or w?
0
Let r(y) = y + 1. Let k(v) = 73*v**2 - v - 2. Let g(t) = -k(t) - 2*r(t). Let n be g(-1). Let q be (-16)/n - (-7)/9. Which is smaller: q or 3/13?
3/13
Let m = -224 - -897/4. Is -2/119 smaller than m?
True
Let a be ((-45)/20)/(291/8). Is a greater than -1?
True
Let u be (4 - 0)*-1 + (-123735)/(-30952). Which is smaller: 0 or u?
u
Let b = 265 - 264. Let q = -2 + 2. Suppose q = -d + b. Which is smaller: d or 1/18?
1/18
Suppose 0 = 6*v - 2*v - 12. Suppose 136*n - 10 = 126*n. Is n > v?
False
Let d = 2.26 + -3.26. Which is greater: 218 or d?
218
Let q(g) = 7*g**2 + 4*g - 18. Let s be q(6). Suppose 18*i + s = 20*i. Which is smaller: i or -1?
-1
Suppose 0 = 15*s - 136 + 796. Which is bigger: s or 3?
3
Suppose 0*z + 16 = 4*z, -4*u - 4*z - 12 = 0. Is u at most as big as -14?
False
Let b = -706.04 + 708. Which is smaller: 1/3 or b?
1/3
Suppose 5*x = -3 + 13. Let f = x + 0. Suppose 5*i = -3*j + 20, f*j = 5*i - 44 - 1. Is 6 greater than or equal to i?
False
Let f = 3 + 2. Suppose -f*m - 15 = -60. Let g = m - 7. Which is greater: g or 3?
3
Let m = 43/360 - -1/72. Let y = -1 - -1. Is y less than m?
True
Let c = -239791/17 - -14089. Is -17 > c?
False
Let z = 54925 + -714397/13. Is z < -30?
False
Let b = -1.7 - -2.7. Let x = 5 - b. Is 0.1 < x?
True
Let g(i) = -1. Let q(p) = -2*p - 14. Let b(v) = -4*g(v) - q(v). Let l be b(-9). Are l and -2/75 equal?
False
Let v(l) = 7*l + 17. Let c be v(-5). Let s = 32 - c. Which is smaller: 51 or s?
s
Suppose -3*d - 2*y = -d - 32, 2*y + 40 = 4*d. Suppose -22*l = -21*l + d. Is l greater than -11?
False
Suppose -3*q - 4*j = -22, 0 = 4*j - 0*j + 8. Let f = -4 + q. Are f and 7 non-equal?
True
Suppose -4*v + 5*s + 132 = 629, -3*v - 371 = -2*s. Which is greater: v or -370/3?
v
Suppose 15 = -10*z + 35. Suppose 76 = z*o + 64. Let s(f) = 8*f**3 - f**2 + f. Let p be s(1). Do p and o have the same value?
False
Let h = 42 - 38. Suppose -r + 27 = -h*r + 2*n, -4*r - 34 = -2*n. Is r smaller than 1?
True
Let u be ((-2)/6)/(104/312). Is u at most as big as -14/25?
True
Let a = 3342 + -3342. Let m = -215/976 - -2/61. Which is bigger: m or a?
a
Let w(n) be the second derivative of n**5/20 - 5*n**4/3 - n**3/6 + 17*n**2/2 - 14*n. Let u be w(20). Is -3 < u?
False
Let r(j) = -j**2 - 2*j - 1. Let q = 3 + -4. Let z = q + 3. Let t be r(z). Are -9 and t non-equal?
False
Suppose -7*m = -25 + 67. Let c be ((-2 - m) + 710/(-178))*-3. Which is greater: 1 or c?
1
Let o be 47 + (26/(-10) - 6/(-2)). Let p = -48 + o. Which is bigger: p or 8?
8
Let g(x) = 55*x - 10. Let n be g(-8). Let t be 36/n*(-1 + (-52)/(-57)). Which is bigger: -1 or t?
t
Let n be ((-120)/28)/(4 + (-236)/56). Suppose -3*x = -2*o + n, -5*x - 3*o - 27 = -0*x. Are x and -2/7 unequal?
True
Suppose 276*n - 280*n + 76 = 0. Is 18 at least n?
False
Let h = -12 - -8. Let z = 1054 - 1062. Is z < h?
True
Suppose -129*r + 134*r = 30. Which is smaller: r or 12?
r
Let b be (2/(-4))/(3/(-6)). Suppose 6*z = b + 5. Which is bigger: 3 or z?
3
Let q = -9 - 1. Let w = q + 11. Do w and 2/5 have the same value?
False
Suppose -39*t = -52*t - 13. Which is smaller: t or -1/1485?
t
Let p = 65 + -39. Suppose 4*w + 2 = p. Let n be (-340)/(-51)*(-6)/(-8). Is n <= w?
True
Let p = 0.46 - 0.42. Is 25 != p?
True
Let h be ((-11)/55)/(92/(-10)). Is h at least 2?
False
Let x = -117440/159 + 2218/3. Which is greater: 0 or x?
x
Let p = 1106 + -1402. Which is bigger: p or -295?
-295
Let w be 2/18 + 0 - 30167/263646. Is w greater than 1?
False
Let p = -1129 - -12427/11. Which is greater: p or -5?
p
Suppose 0 = 5*d + 4*j - 115, d - 3*d = -3*j - 23. Let p = -13 + d. Let t be 2*(-1)/2 - (1 + -6). Which is bigger: p or t?
p
Let l = -0.42 - -0.43. Let w = 0.6 - 0.53. Let m = 0.17 - w. Which is smaller: l or m?
l
Let p(u) = 2*u**3 - 2*u**2 - 3*u + 4. Let x be p(1). Is x equal to -2/119?
False
Let k(s) = -s**3 + 4*s**2 + 6*s - 2. Let i be k(5). Suppose i*a = 2*o + 7, -2*a - 2 = 4. Is o smaller than -8?
False
Let r be -3*7/7 + (7 - 4). Is 6/199 >= r?
True
Let j be 21/154*(2 - 1012). Let z = 138 + j. Is z at least 3?
False
Suppose 5*t - 3*t = -4*s - 10, 0 = 4*s - 2*t + 22. Let q be (42*-1 - 0)/13. Which is greater: q or s?
q
Let y be 2 - 16 - (-3 + -1). Let d(k) = k**3 + 10*k**2 + 3*k + 14. Let j be d(y). Do j and -15 have different values?
True
Let t(l) be the first derivative of l**4/4 - 4*l**3/3 + l**2/2 - 5*l + 1. Let u be -3*-2*1/2. Let f be t(u). Do -9 and f have different values?
True
Let s(v) = v**2 - 8*v - 90. Let d be s(14). Suppose -4*h = -0*h + 12. Which is smaller: d or h?
d
Let x = -2130 - -2114. Which is bigger: x or -0.12?
-0.12
Let n = -453.17 + 453. Which is bigger: -18 or n?
n
Suppose -3*l = 3 - 12. Suppose -67 + 34 = l*f. Let s = 12 - 23. Are f and s nonequal?
False
Suppose -o + 5*x = -27, 4*o - 18 = 3*x - x. Let a be o - (-4 + 4 + -13). Is 15 < a?
False
Suppose 0*b + 8 = -2*b. Let c = -1855/639 + 1/71. Is c less than b?
False
Let v be (2/(-18))/((-97)/6). Suppose 0 = 2*q - 3*q + 4*q + 2*q. Which is smaller: v or q?
q
Let z be (-2)/(-7) - (-372)/217. Let o(l) = 3*l - 3. Let s be o(2). Suppose s*t - y = y + 12, -8 = -z*t - 3*y. Is t greater than 2?
True
Let d = -556 + 415. Is -140 >= d?
True
Let f(q) = -q + 62. Let z be f(24). Are z and 153/4 nonequal?
True
Let n be (2 + -4)*(-60)/(-5). Is -21 < n?
False
Suppose -r - 2