 + 10*h - 1 = 13*h, -5*l + 1 = -4*h. Let a = -35780783/783 + 45697. Let g = -10/87 - a. Is l <= g?
False
Let w = 8.908 - 0.208. Let g = 8.826 - w. Is -2 less than g?
True
Let p = -55.96274 + -0.03726. Which is smaller: -0.1 or p?
p
Suppose 0 = 17*q + 30*q - 11092. Do 239 and q have different values?
True
Let u(a) = a**3 + a**2 - 3*a + 1. Let j be u(-3). Suppose r - 9 = -8*r. Let x be -6*((-12)/j - r). Is x smaller than -2?
True
Suppose 2*p + 2*p + 1499 = -5*g, 597 = -2*g + p. Let s be (g/(-4))/1 - (-3)/(-4). Let f = 55 - s. Is -18 not equal to f?
True
Let f(t) = -9*t + 145. Let i be f(18). Let z be (-3509)/88 - 1/8. Let c be ((-12)/(-10))/(3/z). Are i and c equal?
False
Let n be 8*494138/1872 - 2/(-6). Let f = 2112 - n. Is 0 < f?
False
Let a be -2 - (-5 + 2/((-88)/(-228))). Which is bigger: a or -0.3?
-0.3
Suppose -3*p + 1 + 5 = -k, -5*k + 3*p = -18. Let g be -7 + k + 1 + -21. Are -21 and g unequal?
False
Suppose -4957 + 3761 = -92*w. Do 819/62 and w have the same value?
False
Let y = 12440 - 19650. Which is bigger: 0 or y?
0
Let s be 3/(-2) + 19348/56. Let m = s + -1030/3. Which is smaller: 28 or m?
m
Let z(j) = -4*j**2 + 91*j - 26. Let v be z(17). Let d = -365 + v. Is -5/43 at most as big as d?
True
Let p = 3.5084 - -0.0116. Do p and 0.05 have different values?
True
Let n = -1316.1 - -1414. Let x = 98 - n. Which is smaller: 0 or x?
0
Let d = 92.23 - -4.77. Let w = d + -96.8. Let x be 8/15 + (-1)/3. Are x and w equal?
True
Let s = 9898 + -9896. Do 0.589 and s have the same value?
False
Let y be (-195)/10*(-2)/3. Suppose y*p + 63 = -54. Let a be (-3)/p - 301/21. Which is greater: -2/3 or a?
-2/3
Let z be 4/(-6) + 114/9. Let i be 2 - (2 + 2) - z. Let c = -111 - -99. Which is smaller: c or i?
i
Let q = -9318 + 9331. Which is smaller: 316 or q?
q
Let k = 3/5215 - -2398/4896885. Do k and 0 have different values?
True
Let z = 445 + -139. Let c = -305.96 + z. Which is bigger: c or 1.1?
1.1
Suppose -2458 - 4374 = -8*u. Let y = -1041 + u. Which is smaller: -186 or y?
y
Let t(m) = -m**3 + 7*m**2 - 7*m + 3. Let w be t(5). Suppose -w + 6 = -3*z. Let u be (-9 - -11)*(-5)/(-2). Do z and u have different values?
True
Let x(h) = 4*h - 14. Suppose 3*s + l - 9 = 0, -3*s - 2*l + 4 = -2. Let y be x(s). Suppose 0*j + y*j = 8. Which is bigger: j or 5/2?
j
Let l = -0.1117 + -104.7883. Let y = -9 - -114. Let o = y + l. Is o > -6?
True
Suppose -g = -4*u - 18111, -150*g = -u - 152*g - 4521. Which is smaller: -4528 or u?
-4528
Let l(i) = 2*i**2 + 45*i - 2611. Let z be l(-49). Let j(q) = 2*q - 5. Suppose 0 = -k + 5*k + 16. Let u be j(k). Is z equal to u?
False
Let u be 3/12 - (-2)/(-8). Let r = 207 - 215. Let v be 2/45*(-3)/r. Which is smaller: u or v?
u
Let k(h) = 372*h**3 + h**2 + h + 2. Let x be k(-1). Let o = 380 + x. Is o equal to 9?
False
Let l be (-202971)/(-22554) - 2 - (-2 - -5 - -4). Which is smaller: -1 or l?
-1
Suppose -58*q = -62*q + 16. Let w be 135/(-2)*(q + 8128/(-2000)). Is 4 greater than w?
False
Suppose 0*y + 3*y = 9. Let v(b) = -9*b - 1705. Let a be v(-189). Which is greater: y or a?
y
Let z = -5 + 13. Suppose 11*m = 14*m - 222. Let j = m - 66. Is z equal to j?
True
Let a(z) = z**2 + 7*z + 1. Let d be a(-6). Let s be 406/(-116) + d/(-2). Let o be (-3)/(-2)*(-4)/141. Does s = o?
False
Suppose 0*h + 44 = 2*h. Let f(m) = -7*m**2 - 188*m + 43. Let t be f(-27). Which is bigger: h or t?
h
Suppose 4*l = 5*o + 433, 102*l = o + 97*l + 53. Is 61 smaller than o?
False
Let t = 26340757/61212036 + 2/250869. Is t at least -1?
True
Suppose -3*o = -5*h + 1125, -o = -65*h + 63*h + 377. Which is greater: -366 or o?
o
Let m be -68*6/8*-2. Let q(f) = 6*f**3 - 20*f**2 + 19*f - 37. Let v be q(4). Which is bigger: m or v?
v
Let u(a) = -19*a + 1943. Let h be u(90). Let x be 15*(-78)/5*-1. Which is greater: x or h?
x
Let j = -3386 - -3709. Is -0.2 smaller than j?
True
Let u(g) = 18*g - 891. Let m be u(50). Let k be 0/(-2)*3/6. Suppose 3*f + 9 = k, -2*f + f - 9 = -b. Which is smaller: b or m?
b
Let t be ((-15)/4)/1*336/18. Let x = t - -77. Suppose -2*l + n = -4*n - x, -2*l - 4*n + 52 = 0. Is l bigger than 18?
False
Let x = 25/2836 + -3644485/25524. Are -144 and x equal?
False
Let m(f) = -2*f**3 - 2*f**2 + f. Let b be m(1). Let s be (-1)/((-16)/5 - b). Suppose 2*o + 5*h = 9, 2*o - 5*h - 15 = 4. Do o and s have different values?
True
Let a(h) = 527*h - 519. Let q be a(-3). Is q >= -2100?
True
Suppose 0 = 3*b + 3*a - 312, -2*a + 47 + 361 = 4*b. Let n = b - 100. Which is bigger: n or -1/129?
n
Let x = -659 + 11197/17. Suppose -5*d + 12 = 47. Let g(v) = v**3 + 7*v**2 + v + 7. Let a be g(d). Which is smaller: x or a?
x
Let n be 680/1224*(-9)/15. Let v = -0.3 + 0.34. Which is smaller: v or n?
n
Let n(x) = -x**3 - 23*x**3 - x**2 + 3*x + 2*x**2 + 1 - 26*x**3. Let h be n(-1). Let i = h + -244/5. Which is smaller: -0.3 or i?
-0.3
Let a = -3.35 + 3.576. Let m = -20.774 - a. Which is smaller: -0.06 or m?
m
Let p = -174316491027825/160111227148 + -22/287969833. Let f = p - -4355/4. Is 1 > f?
True
Suppose -9*b + 266 = 257. Let s(x) = -105*x**2 + 3*x - 2. Let q be s(b). Are q and 2 equal?
False
Let v(f) = -f**2 + 3*f + 3. Let z be v(5). Suppose -12 = 4*c, -3*s + 7*c = 6*c - 396. Suppose 0 = s*m - 137*m - 42. Is m greater than z?
False
Let l be 1698/207 + 525/(-225). Are 5 and l nonequal?
True
Let c be 12/(-8)*40/(-12). Suppose -3*n = 5*q + 14, -q - c*n - 10 = 6. Let y be (-384)/(-1749) - (-2)/(-11). Are y and q equal?
False
Let t = -82107 - -243760/3. Are t and -854 non-equal?
True
Let r be (-4 + 6)*((-246)/5082 + 12/(-21)). Which is smaller: 0 or r?
r
Let x = -435 + 342. Let b = x - -93.1. Is b greater than or equal to 128/7?
False
Let y(s) = -7*s**2 - 24*s + 2. Let u be y(8). Are -638 and u non-equal?
False
Let v = -24.23 - 2.27. Let h = v - -126.5. Which is smaller: 2/7 or h?
2/7
Suppose -5*o - 15 = -60. Suppose 3*p = -2*x + 53, 3*x - 7*p - 72 = -o*p. Which is smaller: x or 19?
19
Suppose 11*g - 16*g = -10*g. Suppose g = -5*d - 5*d - 30. Let s be -3 + 3 + d - 35/(-11). Do -6 and s have different values?
True
Let d be 4/5 - 858/(-65). Let c be ((-12)/d)/(64/(-672)). Suppose -30 = -3*j - 6. Is c at least j?
True
Let c = 4580.3887 + -4580. Let r = 0.0113 + c. Are -24 and r equal?
False
Let f be 42/(-98)*(-84)/660. Is -1 < f?
True
Let z be 15*1*49/(-686)*(-306)/85. Are -18/5 and z non-equal?
True
Let o = 16819.51 - 16749. Let g = o + 1.49. Is 1/2 greater than or equal to g?
False
Let f be (2/(-8))/((161/84)/23) - -4. Which is smaller: f or 2/961?
2/961
Let i = 139 - 41. Let j = i - 684/7. Which is greater: 0.9 or j?
0.9
Let l be 2*(-15 + 14) - -2*1. Which is smaller: l or -2/11995?
-2/11995
Let a be 2289/84 + (0 - (-3)/4). Suppose -a = 6*z + 26. Suppose 0 = 2*t - 4*k + 32, 18 = 5*k - 2. Is z greater than or equal to t?
False
Let g = -42 - -53. Let f = -65 - -64. Let x be 0 + -2 + 5/(-5) + f. Which is smaller: g or x?
x
Suppose 16*m - 13*m - 3*c = 0, -3*c + 25 = 2*m. Suppose -f + 8 + 5 = -2*r, m*r = f - 4. Is 18 >= f?
False
Let g = 1889 + -1889.036. Are g and 77 nonequal?
True
Let i = 34 + -38. Let p be 13/(65/(-1110)) - i. Let r = p + 151. Is r < -67?
False
Let g = -5189.9431 + 5192. Let q = g + -0.0569. Is 208 equal to q?
False
Let h = -5.718 + -142.252. Let d = -148 - h. Which is smaller: -5 or d?
-5
Let v(y) = y**2 + 16*y - 39. Let c(s) = s**3 + 12*s**2 + 21*s + 93. Let o be c(-11). Let u be v(o). Which is bigger: -26 or u?
u
Let i = -11.1361 - -7.1361. Let m = -50 + 36. Is i at least as big as m?
True
Let k = -107/44 - -24/11. Suppose -20 = -0*t - t + 5*r, 3*t - 4 = r. Let m be (t/(-3))/(1 + -3). Do k and m have the same value?
False
Let w = -2395.738 + 2397. Is w < -0.3?
False
Suppose -15 = -3*c + 3*i, -2*i = 4*c - i. Let a be (c - 11)/((-13)/((-65)/(-10))). Suppose 0*j + a*s - 16 = -3*j, -2*j - 16 = -2*s. Is j greater than -3?
False
Let f(j) = -j**2 + 30*j - 24. Let w be f(29). Suppose -15*h + w*h = 20. Is h < 5?
True
Let b = 3471 - 3470. Is b less than or equal to 1/4590?
False
Suppose 0 = -2*k + 4, 0 = 4*y - 2*k - 2*k - 68. Let w be 28/(-15) + (y - 17). Let i(h) = -h - 2. Let x be i(-2). Which is smaller: w or x?
x
Suppose 2*j + 4 = 4*j. Let i be (-12)/(-33) + (-64750)/132. Let b = -491 - i. Which is smaller: j or b?
b
Let z be 7 - 430/60 - -1*(-15115)/(-10). Which is bigger: 151