+ -29. Is -30 not equal to u?
True
Let p(c) = c**2 + 9*c - 7. Let y be p(2). Let l be (-13 + 8)*3/y. Is l at least as big as 5/53?
False
Let x = 614580 + -5169232374/8411. Is -1 greater than x?
False
Let w = -874.8295 - 0.1705. Let r = w - -673. Is r <= -2?
True
Let m = -2133 - -2133.2. Which is bigger: -88/5 or m?
m
Let t be 2/1*87/4. Let s(c) = 155*c - 8016. Let x be s(52). Is t < x?
True
Let l be (-1 + 6/8)*(-448)/15596. Are l and -0.4 equal?
False
Let o be (837/81 - 11)*(-7336 - -1). Which is smaller: o or 1/4?
1/4
Let l = 4975 - 4974. Which is smaller: l or 8/33?
8/33
Suppose 2*q - 45 + 37 = 0. Suppose q*o - j = 3, -83*o + 3*j - 5 = -85*o. Let w = -1513/5767 - -21/73. Which is bigger: o or w?
o
Let v = -0.85678 - 26.14322. Let b(k) = -2*k. Let y be b(1). Which is bigger: v or y?
y
Let z be ((-208)/(-12) - 16)/((-4)/36). Are -1008/89 and z equal?
False
Let m = 0.1 + 0.3. Suppose -2*l + 2*h + 369 = l, 5*h + 485 = 4*l. Let f = 255/2 - l. Which is bigger: f or m?
f
Let l = 128/21 - 5428/987. Suppose 74 - 2 = 36*a. Do a and l have the same value?
False
Let j = -6783 + 6905. Which is greater: 21 or j?
j
Let x be (6/(-3) - -7) + -11 + 558/117. Do -2 and x have the same value?
False
Let g = -109 + 120.5. Let z = g - 11.515. Which is smaller: 1 or z?
z
Let y = -22 - -241. Let i = -218 + y. Which is smaller: -3/214 or i?
-3/214
Let s(w) = -w**2 - 2*w + 36. Let j(m) = m. Let z(x) = 2*j(x) + s(x). Let l be z(6). Is 0.077 equal to l?
False
Let f be 3 - (1 + 0 - 1). Let n be 13*2*f/18. Suppose 46565 = -26*t + 46669. Does t = n?
False
Suppose -9*g + 574 = 106. Suppose -5*k - 4*p + g - 17 = 0, -5*k + 3*p + 35 = 0. Let v(r) = r**3 - 6*r**2 - 8*r + 6. Let a be v(k). Is -2/93 != a?
True
Let h be (18/6 + (-22)/(-6))*6. Suppose -37*v + h*v - 12 = 0. Suppose 50 = -v*t - 138. Are t and -47 equal?
True
Let b = 1079497/27891633 - 1/53949. Is b bigger than 0?
True
Let q = -34843/9167 - -123/103. Is q bigger than -2?
False
Let j(r) = -r + 0*r + 71 - r**2 - 4*r - 70. Suppose 5 + 13 = -3*l. Let a be j(l). Is a bigger than -5?
False
Let o = -0.3 + 1. Let m = o - 1. Let t = -1856/6545 + -2/935. Is t < m?
False
Let s be (12/(-42))/(2540/(-315)). Which is bigger: s or -1?
s
Let r(a) = -2*a**3 - 13*a**2 + 50*a + 471. Let g be r(-12). Is g > 1456?
False
Let j be 17/(-42) + 2/6. Let p = -40 - -44. Suppose -5*r + 2*r + 2 = -i, 4*r - p = 2*i. Is r less than or equal to j?
False
Let v = 320.4 + -359. Let s = v + 39.6. Let y = -0.65 + 43.65. Is s smaller than y?
True
Let r = -33255 - -33255.26. Let k = 1 + 0. Which is smaller: k or r?
r
Let h = 349787/130043610 + -17/6210. Which is bigger: h or 1?
1
Let c = 4.49 + 18.81. Let u = -24.3 + c. Are u and -2.7 equal?
False
Let n = -24351 + 340979/14. Is n not equal to 6?
True
Let v be (4/6)/(70/315). Let t be (25/(-140))/(-4 + v). Which is greater: 1 or t?
1
Suppose -5*m + 1183 = -i + 8, 5*i = 5*m - 1175. Let h = 463 - m. Does 228 = h?
True
Let d(p) = -3*p**2 - 11*p - 2. Let o be d(-4). Let m be ((-84)/(-56))/(o/46). Which is bigger: -1/4 or m?
-1/4
Suppose -y = -6*y. Suppose -3*m - c = 2, y = -m + 6*m + 5*c. Let x be 558/(-304) + 2 + (-174)/464. Is m greater than or equal to x?
False
Let a = 58/3 + -19. Let p = 2.62 + -33.42. Let b = 33.8 + p. Is b at least as big as a?
True
Suppose 4*s - 24 = -4*z, 7*s + 12 = 3*s. Let o be 8/(-4 - (3 - z)). Suppose 5*k - o*y - 45 = -8*y, 3*y - 25 = -2*k. Which is greater: 6 or k?
6
Let x be 4/(-10) - 290/400. Suppose 28*k = 23*k - 640. Let t = k + 128. Is t greater than or equal to x?
True
Let x(g) = g**2 + 2*g + 4. Let f be x(-3). Let u(r) = 3 + 40*r - 57*r - 9 - 3 + r**3 + 28*r - 9*r**2. Let v be u(f). Which is smaller: v or -29?
v
Let j be (5698/168 - 20) + -14. Is 0.097 less than j?
False
Let z = 11/6 - 4/3. Suppose -2 = -9*x - 29. Is x < z?
True
Let y = 2219 + -2219.9. Let a be ((-4)/6)/((-6)/9). Is y greater than a?
False
Let b(t) = -t**3 + 61*t**2 + 659*t - 8. Let d be b(-11). Is d <= 1455?
True
Suppose 4*r = -n + 133, 152 = 4*r - 4*n + 4. Suppose -2*h + 2*x = -r, 0*h = -h - 5*x + 5. Let c(k) = -2*k + 19. Let i be c(h). Is 1 >= i?
True
Let f = 0.7 - -2.3. Let s = 490 + -489. Let p = f - s. Which is smaller: 1 or p?
1
Suppose 3*c + 991 = 286. Let g = 643/133 + -1153/266. Which is greater: g or c?
g
Suppose -21*i + 10*i = -4543. Let m = i + -424. Is -3 <= m?
False
Let b = -0.32 - -299.32. Let s = 213 - b. Which is smaller: -1 or s?
s
Let g = -108/31 - -4150/1209. Suppose -1 = 2*n - 9. Let c be n - 7 - (-4 - -1). Which is bigger: g or c?
c
Let f(d) = -79*d**2 - 112*d - 15. Let u be f(5). Is u at least as big as -2548?
False
Let y(g) = 787*g - 56. Let t be y(8). Let p = t + -505448/81. Are p and 0 non-equal?
True
Let f = -9.5 + -3.3. Let o = f - -12.4. Which is smaller: o or 0.18?
o
Let m(v) = 17*v**3 - v**2. Let p be m(1). Let u be ((-1700)/(-40))/((-1)/(-2)). Let f = u - 69. Is p smaller than f?
False
Let w = -2.88 - -1.97. Let n = 0.7 + w. Let v = -0.51 - n. Which is bigger: -0.7 or v?
v
Let o be (2 - -2)*891/44. Suppose -2*d - d = -o. Let m be (-7)/9 + (6/d)/(-1). Which is smaller: 4 or m?
m
Let u = 16983 + -16982. Which is greater: 34/489 or u?
u
Let m = -51.999 - 0.001. Let o = 51 + m. Let g = -11.1 + 13.1. Is g not equal to o?
True
Suppose -m = 4*i - 21, -2*i = -m - 4*m - 5. Suppose w - w = i*w. Suppose 5*b + w*b + 5*t + 20 = 0, 20 = b - 5*t. Is b <= -4/101?
False
Let c be (-1*6)/(3 + -2) + 295452/49184. Is 1 equal to c?
False
Suppose -10*r + 26 - 46 = 0. Let x be -6 - r - (4 + -8). Which is greater: x or -10/79?
x
Let y be (-12 - -26)/7 - 90. Which is smaller: 5 or y?
y
Suppose -6 = 2*r - m, 5*r + 9*m = 5*m - 2. Let z = -27 - -27. Suppose z - 9 = 9*w. Do r and w have the same value?
False
Let j = -756511/6 - -126400. Is j <= 315?
True
Let m be (((-75)/(-2))/5)/54. Suppose 31*r - 23*r = -8. Let n be r + 0 + (-7 - (-48)/6). Are n and m nonequal?
True
Suppose 4*t + 3*b - 978 - 2467 = 0, -3*t + 4*b + 2540 = 0. Which is greater: t or 862?
862
Suppose -5*u = -5*o, -26*o + 22*o - 3 = -u. Let y be 8 + u - (186 - 13). Is -165 bigger than y?
True
Let d = 7.54 - -5.22. Let p = d + -0.96. Let t = 11.57 - p. Is t greater than -1/4?
True
Let c = -2805 + 2984. Which is smaller: c or 182?
c
Suppose 4*w + 2*q = -32, -w - 5*q = -2*w + 14. Let c = 104/15 - 542/45. Which is smaller: w or c?
w
Let a = 3793/5 - 755. Let u = -499.2 - -499. Is u greater than or equal to a?
False
Let t = 4/7039 - -252760/1133279. Which is smaller: -1 or t?
-1
Suppose -265 + 1369 = 24*r. Let m be -2*45/30*r/(-6). Is -2/9 < m?
True
Let c be ((3 + 1)/(-1716))/((-296)/(-24) + -9). Is c smaller than -1?
False
Let h be 12/15304*(-15)/45. Is 1 smaller than h?
False
Let m = 19209 - 19206. Is m bigger than 4.6?
False
Let n = -5223 + 4351. Which is smaller: -873 or n?
-873
Let b = -17957231/7 - -1491687164/581. Let a = 2129 - b. Which is bigger: a or 0?
0
Let u = 193.96 + -194.7. Is u smaller than -6?
False
Suppose -7*q - 18 + 25 = 0. Let n = -6 + q. Let a be 4/(-26) + (-37)/13. Which is greater: a or n?
a
Suppose -4*v = 4*u - v - 6, -2*v = -4. Let k(f) = -f - 8. Let h be k(u). Let r(g) = g**3 + 12*g**2 - 14*g - 17. Let s be r(-13). Which is greater: s or h?
s
Let n(x) = -36*x + 292. Let b be n(14). Which is smaller: -211 or b?
b
Let i = 2984 - 3009.86. Let l = i - 2.04. Let a = 28 + l. Are a and 0.2 nonequal?
True
Let i(m) = -3*m**3 - 40*m**2 - 265*m. Let d be i(-19). Do d and 11173 have the same value?
False
Let s(m) = m + 7. Let y(t) = -t. Let x be y(4). Let r be s(x). Suppose 2*v - 5*k = 0, -5*v - 124 = -5*k - 139. Which is bigger: r or v?
v
Let n = -21 - -19. Let y(x) = -13*x - 24. Let r be y(n). Which is bigger: r or 9/17?
r
Suppose -3*z + 4*i = 168 - 192, 5*z + 5*i - 75 = 0. Which is bigger: z or 333/26?
333/26
Let z = 758 + -462. Let m = z + -314. Is 0.4 less than or equal to m?
False
Suppose -99*f + 28 = -92*f. Do 136/49 and f have different values?
True
Let p = 1334 + -12008/9. Is p not equal to -6/205?
True
Suppose 2*q - 30 = -40. Let s be 57/44 - (-2)/(3 - q). Is 3 < s?
False
Suppose -15 = -5*t - 5*f, 3*f - 3 = -t - 0*t. Suppose 3*q + 15 - 21 = 0. Suppose q*u + 24 = -5*g + g, -2*g - 2*u - 8 = 0. Which is smaller: t or g?
g
Let g(i) = -2*i - 39. Suppose -3*m + 378 = -5*h, 0 = -0*m + 4*m + 2*h - 504. Suppose -6*b - b - m = 