2/13 and r unequal?
True
Let n be 169/52 + 6/8. Suppose g = j + n*g - 105, 0 = 5*j - 4*g - 430. Let s be ((-10)/j)/(7/2). Do s and 1 have different values?
True
Let v be -59 - (-3 - (-3 + -4)). Let h = 318/5 + v. Are h and 0.01 equal?
False
Let a be 1731/(-2244) + 55/20 + -2. Which is smaller: a or 1?
a
Let l = 33 - 30. Suppose l*i = -i - 84. Are -21 and i non-equal?
False
Let k = 149/2 - 72. Let h = -6 + k. Suppose 3*f + p = -13, -3*f + 18 = -8*f + 2*p. Which is smaller: f or h?
f
Let u be 4/16 + (4 - 2252/(-16)). Let s = 139 - u. Suppose m + 14 = -5*d, 0*m - 3*d = -m + 2. Are m and s equal?
False
Let f be (-151)/(-4) + 2/8. Let b = f + -15. Which is bigger: b or 25?
25
Let i be -4 + ((-10)/(-4))/(60/144). Is 56/17 smaller than i?
False
Let v(g) = g**2 - 3*g + 4. Let r(k) = -k - 9. Let t be r(-12). Let w be v(t). Let x be -2 + w - 6/9. Which is greater: -1/4 or x?
x
Suppose -2*r - 20 = -6*r. Let x be r/(-10) - 14/(-4). Let b be (-216)/16*4/x. Is b >= -19?
True
Let k(s) = 0 - 2 + 4 + s**2 - 5*s + 0. Let f(i) = i**3 - 2*i**2 - 4. Let v be f(3). Let q be k(v). Which is smaller: 0 or q?
0
Let q(t) = -t - 4. Let r be q(-4). Let g(n) be the third derivative of n**5/60 + n**4/24 - 7*n**2. Let u be g(-1). Is u bigger than r?
False
Suppose 16*d - 36 = v + 17*d, 2*v + 4*d + 70 = 0. Is v < -38?
False
Let t(w) = w**3 + w + 2. Let g = 10 - 12. Let k be t(g). Suppose -2*b = -3*b - 7. Is b less than k?
False
Let z = -344 + 6209/18. Let f = z - 4/9. Is f at least 0?
True
Suppose -12*c - 16 = -16*c. Let v be -10 - c/6*-3. Does -28/3 = v?
False
Let z = -20.46 + -0.54. Let u = z - -21.09. Let v = u + 2.91. Are v and -2/3 equal?
False
Suppose 2 = -4*m + 2*c, -4*m + 6 = -9*m - c. Are 3/148 and m non-equal?
True
Let t(w) = w**3 - 13*w**2 - 13*w - 10. Let j be t(14). Suppose -6*n + n - 65 = -j*d, -5*n = d + 40. Do -10 and n have different values?
True
Let b be (2/1)/(-2) + 2. Let w be 44/(-66) + -10*(-194)/192. Let a = w - 19/2. Is b <= a?
False
Suppose -2*q = 2*f + 422, 7*f + 16*q + 1489 = 21*q. Is -210 at most f?
False
Let k = 0.202 - -0.098. Which is smaller: k or 33?
k
Let p be 1/(-4) + (-2)/(40/75). Let f be (0 + (-1 - 0))/(p/(-4)). Is 1/61 > f?
True
Suppose -5*k + 2*k + 12 = -2*m, 3*m + 12 = 3*k. Suppose -k*n = -11*n. Which is smaller: n or 1/4?
n
Let f = 38 - 36. Suppose -9 = -h - 2*r, -5*h + f*h + 3*r = -27. Is h equal to 6?
False
Suppose -y + 4*y - r - 12 = 0, 0 = 4*y - 5*r - 16. Let i(q) = -4*q + 2. Let h be i(y). Are -14 and h nonequal?
False
Let i(s) = 2*s - 12. Let z be i(11). Let g(u) = 3*u - 12. Let l be g(z). Which is greater: l or 19?
19
Let r = 3 + -4. Let i = r - -1.5. Let y = -0.7 - -0.7. Which is bigger: y or i?
i
Let y = -1074 - -1090. Which is smaller: 24 or y?
y
Let f be -4*(-4)/(528/9). Let o be 0/((-3 + 11)/4). Is f greater than or equal to o?
True
Let w = -229 - -2517/11. Let x be 11590/(-2867) + (1 - (3 - 6)). Which is greater: w or x?
x
Let b = 4 + -1. Let t be 4 + 1 - 2 - b. Let v be -4 - ((t - 2) + 1). Are -1 and v non-equal?
True
Suppose 0*n + 3 = -3*n. Let c(l) = -l + 9. Let z be c(6). Let g be (z - -1) + (-490)/119. Is n greater than g?
False
Let m(p) = 48*p - 2. Let i be m(2). Suppose -b - 3*b = 5*g - i, 5*g - 93 = -3*b. Suppose 4*f = -2*f - g. Which is bigger: -2 or f?
-2
Let a = -30.991 - 0.009. Let h = a - -30.36. Let u = 0.14 + h. Which is smaller: -1 or u?
-1
Let t = -0.0182 - 0.0318. Which is bigger: -3 or t?
t
Let q be (-12)/2*(-2)/4. Suppose 4*u - 6 = 42. Let t = -8 + u. Is q greater than or equal to t?
False
Let p = -2 + 4. Let v = -12 + p. Which is smaller: -2 or v?
v
Suppose 3*n + 2*n = 5, 0 = -2*c - n + 1. Suppose -d + 4*x - 9 + c = 0, 4*d = 2*x - 22. Let i = -25 + 26. Is d less than i?
True
Let z(o) = o**2 - 2*o - 3. Let v be z(-2). Let p be 3*(-6)/63 - 60/(-14). Suppose -v*g - 73 = p*h, g + g = h - 24. Are -11 and g non-equal?
True
Suppose -83 = -6*p - 23. Let f be (4/10)/((-1)/(-5)). Let g be f/(-10) + (-85)/(-175). Are p and g non-equal?
True
Let q(o) = 16*o + 22. Let z be q(-4). Let p = 21 + z. Which is smaller: p or -20?
p
Let c = -758.45 - -761. Which is smaller: -0.1 or c?
-0.1
Let x be (38/176)/(9/12). Let u = 5/11 - x. Let z be (0/2)/((-35)/35). Is u at least as big as z?
True
Suppose 4*k + o + 3 = 42, 0 = 5*k + o - 50. Which is greater: 34/3 or k?
34/3
Let v = 257/105 - 26/15. Let u be (-16)/(-10) - 6/(-15). Suppose 0 = 6*b - u*b. Is b <= v?
True
Suppose 88 = 12*g + 100. Is 8/105 < g?
False
Suppose -20*l = -24*l + 5*v + 1846, 10 = 5*v. Which is greater: l or 465?
465
Let p = -553/30 + 14/15. Is p <= -18?
False
Let q be (-2 + 3/2)/((-69)/(-138)). Is q not equal to 15/76?
True
Let r = 5.3 - 5. Let w = 41 - 74. Let t = -131/4 - w. Is r at least t?
True
Let g(r) = -r**2 + 15*r - 9. Let p be g(14). Suppose 2*q + 3 = p, 4*c - 5*q = -17. Which is greater: 2 or c?
2
Suppose 5*q = 4*g + 164, 4*g - 2*q - q = -156. Is -36 at least as big as g?
True
Suppose y + 4*y = 2*j + 47, -j - y - 20 = 0. Which is smaller: j or -98/5?
j
Let p = -8519 - -1064881/125. Let f = -364/2375 + p. Which is bigger: 1 or f?
1
Let r = 382.01 - 382. Which is smaller: r or -30?
-30
Let i be (-3908)/(-90)*(-16)/(-28). Let m = 174/7 - i. Let a(w) = -w**2 - 7*w + 8. Let x be a(-8). Which is bigger: x or m?
m
Let i(o) = -o + 5. Let n be i(4). Suppose -5*r = -3*y - 11, 3*y + 5 = 3*r + 2*y. Let t be r/(-2)*10/85. Is t < n?
True
Let z be (6/(-15))/((-2)/(-10)). Let c be 1/z + (-3)/(-8). Suppose -5*f + 5*v - 4 = 1, -v + 5 = -5*f. Which is bigger: c or f?
c
Let f be 1/1*-2*1/17. Is f bigger than -1?
True
Suppose 4*n - 3*a - 15 = 6, 2*n = -5*a - 9. Do n and -1 have the same value?
False
Let v = -781.05 - -781. Let s = 0.07 - -4.93. Let o = s - 8. Is o not equal to v?
True
Let w = 2.8 - 3. Let a = -14.8 + 17. Let b = a + w. Is -1/3 != b?
True
Suppose 3*p = 3 + 12. Suppose 0 = p*x - 420 - 70. Let w be 15/5 + (-290)/x. Which is smaller: w or 1?
w
Suppose -2*u + 106 = 3*c, 4*u + 5*c + 215 = 9*u. Which is smaller: u or 19?
19
Let z = -19 + 23. Let q = 15 - 10. Let t = z - q. Which is smaller: t or -0.2?
t
Let d = -72 + 42. Let c = -29 - d. Is -3 at most c?
True
Let j be (-1)/(-2 - (-14)/6). Let i be (2/j)/((-5)/(-15)). Let n be -2 + 3 - (i + 3). Which is greater: 3/8 or n?
3/8
Let w(k) = -k + 1. Let h be w(-3). Let o(n) = n + 2. Let p be o(0). Suppose 2*l - p = 8. Which is smaller: l or h?
h
Let i = -1379 + 1378. Let q be (117/(-20))/3 - -2. Let o = -29/20 + q. Do o and i have the same value?
False
Let q = 34 - 34. Suppose q = -12*p + 5*p + 147. Let a = p + -2. Which is smaller: a or 1?
1
Let o(m) = 2*m**2 + 7*m + 7. Let y be o(-8). Let s(k) = -2*k**3 + y + 0*k**3 - 78. Let l be s(1). Which is smaller: l or -2/3?
l
Let p be 258000/(-279930) + ((-34)/(-56) - (-2)/8). Let k be (-1 + -1)/(-2) - 0. Which is smaller: p or k?
p
Suppose 0 = p + 2*o, 0 = 2*p - 4*o + 3 + 13. Let c be (-16)/(-6) + p/(-3). Suppose 4*z - 3 = 2*g + 19, c*z + 3 = -3*g. Which is bigger: z or 2?
z
Let o = 99 + -1193/12. Let u = o + 29/156. Suppose -5*d - 4 = -2*f - 1, 4*d - 20 = -4*f. Which is greater: u or d?
d
Let f be 345/(-46)*4/6. Let a(o) = -o**2 - 12*o - 1. Let c be a(f). Which is greater: 32 or c?
c
Suppose 8 = d - 0*d. Suppose d - 7 = f. Is f equal to 1/67?
False
Suppose -46*l + 866 = -2262. Is 58 at most l?
True
Suppose -r - 2*n + 124 = -4*r, 0 = 3*r - 4*n + 116. Let a = -38 - r. Let s be 10*(-2)/(-4) + 0. Which is smaller: s or a?
s
Let z(s) = -5*s - 227. Let i be z(-37). Is -42 bigger than i?
False
Let x(u) = -13*u + 54. Let t(s) = -7*s + 27. Let i(b) = -11*t(b) + 6*x(b). Let j be i(8). Which is greater: j or 20?
20
Suppose -3*i + 13 = 4*r, 0*i = 4*r - 4*i + 8. Suppose 2*m = 6*m - 12. Are r and m unequal?
True
Let h(m) = -m**3 - 6*m**2 + m - 6. Let b be h(-6). Suppose 26 = g + 34. Is b greater than or equal to g?
False
Let d = -0.067 + -70.933. Let k = d + 71. Is -5/17 greater than k?
False
Let w = 95 - 93. Do 4 and w have different values?
True
Let o be 0 + -1 + -1 + -3. Let h be -1*-1*(-4 - o). Let p be (27/(-396))/(h/(-2)). Do -1 and p have the same value?
False
Let n = 681 + -682. Which is greater: -8/85 or n?
-8/85
Let g(x) be the second derivative of -x**4/12 + 5*x**3/3 - 5*x**2/2 - 5*x. Let w = -2 + 11. Let k be g(w). Which is bigger: 1 or k?
k
Let z = 10/2933 + -24148