 < 2?
True
Let a be 8/(-4) - (-1 + 4 - -116). Which is smaller: a or -122?
-122
Let l(d) = d**3 - 4*d**2 + d - 4. Let k be ((-1)/2)/(6/24). Let w be 4 - (-1 + 3 + k). Let j be l(w). Which is greater: -3/7 or j?
j
Let r = 5 + -10. Let n = 47.9 - 51. Let k = 3 + n. Which is smaller: k or r?
r
Let b be (-3)/(-1) - 109330/36482. Which is bigger: b or 1?
1
Let h = -1 - 7. Let j(k) = 7*k + 31. Let q be j(-6). Which is smaller: h or q?
q
Let o be (68/(-306))/((-1)/18). Let j(p) = -11*p + 5. Let r be j(-4). Suppose o*w = -3*w + r. Is 6 less than w?
True
Let d(g) = -g + 0 + 6 + 0 + 5. Let l be d(13). Let s be l*(-4)/(-2) - -2. Which is smaller: -3/4 or s?
s
Let i(k) = 5*k - 2. Let p be (6/27)/((3/(-27))/(-1)). Let b be i(p). Is b smaller than 0?
False
Let k = -18 + 27. Let g = -2 + k. Let j = g + -5. Which is smaller: 8 or j?
j
Let z be (44/(-6))/1*-9 - 1. Is 66 greater than or equal to z?
True
Let z = -6 - 66. Let t = z + 86. Which is smaller: t or -1?
-1
Let j be 3/2*51/306. Is j greater than -1.7?
True
Let s(f) = -612*f**2 + 22*f - 20. Let h be s(1). Which is smaller: h or 2/5?
h
Let x be 10 - ((-12)/(-20) + 27/(-45)). Is 47/5 at most x?
True
Let l = 104 + -104. Let s = -5.03 - -5. Which is smaller: s or l?
s
Suppose -8*w + 9 = w. Suppose -5*x + 0 + 5 = 0. Let v be 4/(x*(2 + 5)). Is w greater than v?
True
Suppose -4*g + 3*w + 19 = -2*w, 4*g + 2 = -2*w. Is g smaller than -5/53?
False
Let q be (2/(-1))/((221/156)/(-17)). Is q != 25?
True
Let w be (6/(-4))/(3/18). Suppose 2*a + 3*g - 7 + 30 = 0, -26 = 4*a + 2*g. Which is greater: a or w?
a
Let p be (-73)/(-511) - (-2536)/(-14). Is p bigger than -180?
False
Suppose 3*h - 1471 + 466 = 0. Do h and 335 have different values?
False
Suppose 0 = 68*q - 14*q - 13608. Do 251 and q have different values?
True
Let p = -445 - -17356/39. Let t(g) = g**2 + 11*g + 10. Let k be t(-10). Which is smaller: p or k?
k
Let l(p) = -3*p**2 - 1 - 4 - 2*p**3 + 6 + 10*p**2. Let c(s) = -s**3 + s**2 + 1. Let k(t) = -3*c(t) + l(t). Let n be k(-4). Is -4 greater than n?
False
Let u = 90 + -91. Let v = -262 + 3934/15. Are v and u non-equal?
True
Suppose 5*d - 156*x = -154*x - 6, -x = -d - 3. Let i = -1 + 2. Let o = 2 - i. Is d equal to o?
False
Let g = 65.7 + -72. Let k = 9.4 + g. Let p = k - 2.1. Which is smaller: p or -1.5?
-1.5
Let o = 13 + -53. Let p = -39 - o. Is p >= 3/16?
True
Let k(p) = -3*p**2 + 2*p + 2. Suppose -3*f - 138 = -42. Let w be (-2 - 0) + f/(-8). Let c be k(w). Is 1 != c?
True
Let j be 16*(-5)/25*-5. Suppose 4*x = 16 + j. Suppose p - 5 = 2. Which is bigger: x or p?
x
Let i be 81/(-780) - 22/(-143). Let b be (4 - (-1 - -4))/(-1). Which is bigger: b or i?
i
Let x be (72/(-15) - -5)*-2. Is 1 not equal to x?
True
Suppose 22*w = -10*w - 24736. Is w at least as big as -774?
True
Let w = -13.1 + 13. Let a = w - -0.7. Let h = a - -0.4. Which is greater: 0 or h?
h
Let x = 0.2592 + 0.0408. Is x equal to 0?
False
Let x be (-45)/12 + (-5)/20. Let n be (56/(-42))/(x/57). Let m = 28 + -10. Are n and m non-equal?
True
Suppose 44*c - 17917 = 21*c. Which is smaller: c or -2/5?
-2/5
Let v(m) = -11*m**2 - 76*m + 7. Let z be v(-7). Let u = 8 - -53. Let y = u + -43. Is z smaller than y?
True
Suppose 5*l = -4*l + 864. Suppose 16*k - 24*k - l = 0. Is k at most as big as -38/3?
False
Suppose 6 = 4*i - 26. Let n be (-6)/i*((-60)/(-18) - 4). Is n at most 2/5?
False
Let k = 0.004 - 0.036. Let o = -0.068 + k. Which is smaller: -2.8 or o?
-2.8
Suppose -180 = 2*a - 32. Suppose -803 = -132*g + 143*g. Is a >= g?
False
Let c = 276 + -271. Do c and -14 have different values?
True
Suppose 10*x - 5*x - 25 = 0, 3*d = -2*x - 32. Let l be (-28)/49*d/(-6) - -2. Is -48 smaller than l?
True
Let s be ((-275)/1188 + 0)*8. Is -3 at least s?
False
Let u = -74.7 + 72. Which is bigger: u or -1/7?
-1/7
Suppose 6*j - 3*j - 6 = 0. Suppose -17 = -j*p + p. Is 19 < p?
False
Let c be 0 + (-4)/(0 - 2). Suppose c - 2 = 2*n. Which is smaller: 2/33 or n?
n
Suppose 26*d - 3316 = 20084. Which is greater: 899 or d?
d
Let x be 1120/(-144) - (-4)/(-18). Let n be x/6*(-22 - -13). Suppose 3*d - 3*i = 36, -2*i = 2*i. Is n equal to d?
True
Let q be ((-3)/3)/(7 + -8 + 2). Are 9/29 and q nonequal?
True
Suppose 47 = -17*m + 13. Is m bigger than 82?
False
Let w = 252 - 209. Is w at least as big as -1?
True
Let l(g) = -5*g**3 + 19*g**2 + g - 27. Let s(k) = -6*k**3 + 19*k**2 + k - 28. Let a(v) = 5*l(v) - 4*s(v). Let t be a(19). Is -14/3 at least as big as t?
False
Let h(d) = 3*d**2 - 69*d - 7. Let q be h(23). Does q = -8?
False
Let l(o) be the third derivative of -o**6/120 + o**5/60 + o**4/24 - o**3/6 - 4*o**2. Let b be l(1). Let v(g) = g. Let p be v(b). Is p < 0?
False
Suppose 24*r = 5*r - 570. Is r <= -34?
False
Let j(g) = -15*g - 42. Let z be j(-4). Let s be (-2 - 0) + (21 - 2). Is z at most s?
False
Let v = -142 - -100. Let t = v + 41. Let h(f) = f**2 - f. Let p be h(0). Is p bigger than t?
True
Let m be (-33748)/84045 + (-6)/(-15). Is m bigger than -1?
True
Suppose -24*p = -18*p. Which is smaller: p or 2/1311?
p
Let k be (-3)/(-2) + (-210)/(-60). Suppose -m - 4*m + k = 0. Which is greater: 6/17 or m?
m
Let m = -1676 - -5024/3. Do m and 4/35 have the same value?
False
Let f = 7051/35 - 1073/5. Let b = f + 842/63. Suppose -4*d = -9*d - 5. Which is bigger: d or b?
b
Let b = 33 + -65. Let k be 8/b - (-2)/(-25 + 1). Suppose -2*p = -4*r + 32, -2*r + 4*r + 4*p = 6. Which is smaller: r or k?
k
Let f = 5109/19 + -269. Suppose 0 = 2*m + 4*o - 2, -4*m + 5 = -3*o - 21. Suppose -15*b = -10*b + m. Which is bigger: b or f?
f
Let b = -338 - -336. Is 3.9 not equal to b?
True
Suppose 2*q = -2*o - 128, 10 = -0*q + 5*q. Let y be 27/o*(-20)/5. Is y less than 1?
False
Let c(a) = -a**3 + 19*a**2 - 8*a - 46. Let m be c(19). Is m equal to -197?
False
Let g = -19 - -31. Suppose 0*x + 3*k + g = -3*x, -5*k - 29 = -4*x. Which is smaller: 3/43 or x?
3/43
Let a = -1053 - -1053.1. Is 1.942 < a?
False
Let q(l) = -l**3 + 2*l**2 + 2. Let f be q(2). Let m = 277 + -255. Which is smaller: m or f?
f
Let u(o) = o**2 - 6*o + 7. Let f be u(5). Let b be 0/(f + 0/4). Is -3 not equal to b?
True
Let t be (-2*(-3)/183)/2. Let v = t + -75/854. Let u be (-19)/(-95) - (-18)/(-15). Do u and v have the same value?
False
Suppose 2*g - 2*r = r - 25, 3*g = -4*r - 12. Let z be -3 - 7/((-21)/96). Suppose -s = -w + 2, -2*s - 5*w + 2*w = z. Which is greater: g or s?
s
Suppose 3*l + 37 = -2. Suppose 7*k = -4*v + 12*k - 63, 2*k = -v - 6. Is l less than v?
True
Suppose -11*h + 50 = -6*h. Let y be ((5 - -5) + 1)*1. Is h bigger than y?
False
Let s = -4.7 + 0.7. Let l = -6 - s. Let g be ((-2)/36)/(-2*4/24). Are g and l unequal?
True
Let j = -1994.3 + 1882. Let s = 112 + j. Is 7 equal to s?
False
Let c = 621 + -622. Is -218/9 < c?
True
Let p = 508188 - 33025293/65. Let z = -1732/13 - p. Let t = 241 + z. Is t at least 1?
True
Let w(n) = -n**3 + 15*n**2 - 15*n + 13. Let f be w(14). Which is smaller: f or -0.011?
f
Let q be (22*(-4)/(-176))/((-2)/24). Let j = 5 + -12. Let m be 0 + j + (-3)/(-3). Are m and q nonequal?
False
Suppose -52 = -3*d + 4*w, -2*w - 16 - 18 = -2*d. Let c = -13 + d. Let r be (-16)/(112/(-21)) + -1 + 1. Are c and r nonequal?
False
Let f(g) = -2*g + 8. Let c be f(9). Let h be ((-1)/(3/2))/(c/15). Which is smaller: 2 or h?
h
Let j = -2 + 3. Let m = 30/29 - -195/232. Which is greater: j or m?
m
Let u = 2105 - 136821/65. Let c = 62/1105 + u. Which is smaller: c or -1?
-1
Let z = 115 + -38. Let l = z + -37. Which is smaller: 41 or l?
l
Let n = -626 + 1028. Which is smaller: -1 or n?
-1
Suppose 2*h = 9*q - 8*q - 12, -4*h = 3*q + 14. Let z(a) = 2*a**2 + 3. Let x be z(q). Let b(i) = -i**3 + 2. Let o be b(-2). Is o > x?
False
Let k = -19/2 - -49/4. Suppose 4*p - 5*y - 2 = 0, -4*p + 14 = 3*y - 4. Let j = 1 + p. Is j equal to k?
False
Let m be -2 + (-4 - 3) - -9. Which is smaller: -1/166 or m?
-1/166
Suppose -14*v = -13*v - 5. Suppose -2*m + v = -1. Suppose -2*s - m*s = 105. Which is smaller: s or -20?
s
Let v be (-6)/33 + (-9)/11. Let g(n) = n - 8. Let h be g(6). Let u be (3/(-10))/(v/h). Which is smaller: u or -2?
-2
Let q be 4/12 - (-15)/(-18). Which is smaller: q or 4/15?
q
Suppose -3*t = -3*j, -3*t - j + 2 = 18. Let o be 65/(-221)*t/(-5). Is o less than 0?
True
Let t = -490.935 - 1.065. Which is smaller: -0.1 or t?
t
Let m be (-1