= u + a. Is l <= -3/22?
False
Let o = -435 + 3043/7. Which is bigger: -23/5 or o?
o
Suppose 4*q + 2*h + 19060 = 0, 0 = 6*q + 88*h - 92*h + 28590. Which is bigger: -4763 or q?
-4763
Let v = -13120789/255 + 51454. Do 1/3 and v have the same value?
False
Let w = -32 + 24. Let m(l) = -3*l**2 + 2*l - 7. Let v be m(3). Let o be 1*-7*(-24)/v. Is o < w?
False
Let n = 0.109 + 550.791. Let q = 551 - n. Which is greater: -157 or q?
q
Let t = -7 - -7. Let w be -1*(0 + 0) - t. Suppose -4 = -10*j - 34. Which is smaller: j or w?
j
Let d be 3 - (34 - 4)*2. Suppose -55 = -6*i - 397. Let l = d - i. Which is bigger: l or -9/8?
l
Suppose 15*g + 35160 = 11*g. Let n be 4/(-14) - g/(-105). Are n and -84 unequal?
False
Suppose -w = 3*w + 56. Suppose 2*c = z - 17, z = 3*c - 7*c - 49. Which is smaller: c or w?
w
Suppose -16*k - 4467 + 4867 = 0. Which is smaller: 662/25 or k?
k
Let h = 19 - 37. Let i(w) = -w**3 + 7*w**2 - 12*w + 253. Let q be i(9). Is h not equal to q?
True
Let u = 115.96118 + 0.03882. Suppose 3*x - 6*x - 18 = 3*k, 4*x = 3*k - 17. Is k greater than u?
False
Suppose 76 = 3*p - 68. Let v = p - 54. Let w be ((-45)/v)/1*6/(-9). Which is bigger: -7 or w?
w
Suppose 0 = -2*o - 4*y + 2 + 14, -5*y = -4*o + 6. Let k be 1341/1060 + (25/o)/(-5). Which is greater: k or 1?
1
Let o = -1 + 4. Suppose -o*f + 13 = -l - 3*l, -3*l + 4*f = 15. Let g = 147162 - 10448500/71. Which is bigger: g or l?
g
Let i be (-70)/63 + (-20)/(-180). Are -2/579 and i unequal?
True
Let t = 10080 - 11120. Which is bigger: t or 0.1?
0.1
Let j be (-7)/((-14)/20) - 1. Let t(m) = -10 - 30*m**2 + 10*m**2 + 12*m**2 + 27 + m**3 - 11*m. Let a be t(j). Which is smaller: a or -2/51?
a
Let y be 3/457*105/(-45). Are y and 1 equal?
False
Let c(q) = q**3 - 7*q**2 + 8*q. Let p be c(6). Suppose -75*y = -l - 80*y - 8, -3*y = 12. Is p <= l?
True
Let y = -44 - -197. Let l = y + -154.4. Is 2/7 greater than l?
True
Let h(t) = 3*t**2 + 2*t + 1. Let c(z) = -7*z**2 - 41*z + 6. Let y be c(-6). Let b be h(y). Let w be 84/75 - (1 - 0). Which is smaller: w or b?
w
Let a be 2/(-8) + 361/1348. Suppose 508*n - 193 = -231*n - 932. Which is bigger: a or n?
a
Let h be ((-39)/((-9477)/(-54)))/((-4)/(-6)). Is h less than 1/2960?
True
Let u(v) = 3*v. Let a be u(-4). Let i be a/(-10)*(-70)/(-4). Let z = -2092 - -2111. Which is smaller: z or i?
z
Suppose 0 = 5*o + 2*g - 51, 5*o = 11*g - 16*g + 60. Suppose -o*s + 4*s = d - 680, 4*d = -2*s + 290. Are s and 137 unequal?
True
Let k = -7.5 + -228. Let o = -232 - k. Which is smaller: o or -4?
-4
Let w = 159 + -165.7. Let k = 115 + -110.3. Let j = k + w. Does j = -16?
False
Suppose 122*q - 86*q + 35532 = 0. Is -986 less than or equal to q?
False
Suppose -148*p = -150*p - o - 11, 2*p - 4*o = -36. Let d be -6 - (5 - (p + 20)). Which is smaller: -2/23 or d?
-2/23
Suppose 3*s = -l - s - 12, 2*s = 5*l + 16. Let g(h) = -1859*h**2 - h + 928*h**2 + 11 + 930*h**2. Let n be g(l). Which is greater: n or -1/3?
-1/3
Let y be 4 + 4/2 - (-8027)/(-1334). Let r = -147/116 - y. Which is greater: r or -4.3?
r
Let y be (-1 - (-1)/3)/((-392)/(-19698)). Let k = -101/3 - y. Which is smaller: -0.032 or k?
k
Let f(s) = -2*s - 82. Let o be f(-40). Let x = 4 + -9. Is o not equal to x?
True
Let k = -5 + 8. Let i = -183 + 240. Suppose 17*t - i = -6. Is t equal to k?
True
Let h = -50970 - -8359117/164. Is h smaller than -1?
False
Let m be 2/(1 - (-16)/3). Let t(r) = -13*r - 79. Suppose -4*h = 3*k - 6*h + 10, -3*k - 3*h = 30. Let q be t(k). Is m greater than or equal to q?
True
Let z = 206 - 128.4. Let b = z + -80. Let f = -0.08 - 0.02. Do f and b have different values?
True
Suppose 9 = -107*r + 110*r. Suppose -4*p = -2*z + 2, -11 = -r*z + 4*p - 8. Which is smaller: 17/20 or z?
17/20
Suppose -v = -3*v - 7*v. Let q = 12.2 + -53.2. Is v at most as big as q?
False
Let y(a) = -6*a + 3. Let j(z) = z**3 - 4*z**2 + 2*z - 7. Let x be j(3). Let c be y(x). Which is bigger: c or 62?
c
Suppose 4*y + m = 124 + 27, 5*y = 3*m + 159. Which is smaller: -1.6 or y?
-1.6
Let a = -1151/195 + 4/39. Suppose 4*y + y = -20, -3*y + 194 = -p. Let d = p + 201. Is a less than or equal to d?
True
Let h = -373.272 - -373. Let v = h - -3.272. Which is greater: 4 or v?
4
Suppose -96*a + 1222 = -2*a. Are a and 155/12 non-equal?
True
Let t(a) = 5*a + 36. Let p be t(-8). Let i(h) = -18*h - 9. Let w be i(p). Let z = w - 62. Are z and -1/106 nonequal?
True
Let b = -379/186 + -128/31. Let y(s) = -189*s - 950. Let a be y(-5). Is a greater than b?
True
Let d be (-70)/21*(-18)/15. Let j be 1/1 + (-12)/d. Let m be (0 - 0/(-4))/j. Is m greater than or equal to 2/37?
False
Suppose -5*g + 12820 + 3776 = 2*s, -3*g = 2*s - 9964. Which is bigger: g or 1?
g
Let a = -15519 - -16236. Is a != 3581/5?
True
Suppose 0 = 148*k + 12226 + 3197 + 1597. Which is greater: k or -116?
k
Let y be 67460/(-65) - (-1 + -1)*(-33)/429. Is -1036 > y?
True
Let h be 0 - 7 - 150/(-105). Suppose 2*n - j + 7 = 0, -2*n - 5 = -3*j - 4. Which is smaller: h or n?
h
Let o(a) = -a - 7. Let w be 60/(-7) - 44/(-77). Let c be o(w). Let l(f) = f**2 - f - 1. Let n be l(c). Is n < -10/9?
False
Suppose 4*n = -3*y - 1384, -103*n = -108*n + 25. Which is smaller: y or -487?
-487
Suppose 2*x + 5*u + 12 + 11 = 0, -4*u - 12 = 0. Let d be (-4 - (-24)/x)*2. Which is greater: d or -19?
-19
Let q be (4 - (-417378)/(-86960)) + (24/(-15))/(-2). Which is smaller: 0 or q?
0
Let s be 5 - 3/(-6)*0. Suppose 0*h + 5*n + 880 = -s*h, -3*h + 2*n - 528 = 0. Is -177 > h?
False
Let z = 1/5158 - 16033/2883322. Which is bigger: 0 or z?
0
Let h be (-121)/4 + (-4)/(-16). Let s(j) = j**2 - 121*j + 2099. Let u be s(100). Is h > u?
False
Let b(c) = 8*c**2 - 11*c + 7. Let l(y) = 7*y**2 - 10*y + 6. Let w(p) = -6*b(p) + 7*l(p). Let s = -2362 + 2358. Let t be w(s). Which is greater: t or 34?
34
Suppose 4 = -2*d, -b + d + 281 = 4*d. Suppose -291*x = -b*x + 220. Which is smaller: x or -53?
x
Suppose -y - 5 = 0, 3*y + 38 - 32 = h. Let c be -29 - (0 - -1 - 3). Let z = c + 15. Which is bigger: z or h?
h
Let f be (-3)/(-3) + 9/(-8). Let l be (11 + 42/(-4))*(1 + 91). Suppose 43*u = l*u + 24. Is u <= f?
True
Let y(j) = 36*j - 935. Let b be y(26). Which is smaller: b or -1/1127?
-1/1127
Let u be -2 + 925701/482895 + 2/35. Is 0 less than u?
False
Let d(p) = -4*p**2 - 201*p - 592. Let c be d(-3). Let x be -24 + 0 + 1 + -2. Is c smaller than x?
False
Let g(v) = -3*v + 32. Let h = 68 + -24. Let l = 52 - h. Let a be g(l). Are a and 11 nonequal?
True
Suppose 7*o - 168 = -5*o. Let j = 0 + o. Is 13 > j?
False
Suppose -4*a + 3*u - 397 = a, 247 = -3*a + 4*u. Let r = 151 + a. Is r != 75?
True
Let f = 1846 + -1846.3. Which is smaller: f or -429?
-429
Suppose -t = 3*t - 4*a - 376, -a = 2*t - 191. Suppose t = 3*k + 92. Which is bigger: 7/29 or k?
k
Suppose -4*k - 825 = l, 8*l = 5*l - 15. Let c = k + 193. Which is greater: -59/5 or c?
-59/5
Let c be (-27)/72 - ((-95)/40 - -2). Is -2/1587 >= c?
False
Let q = -28411.013 - -28263. Let h = q - -148. Is h >= -0.1?
True
Let p(g) = 2*g**2 - 26*g - 66. Let b be p(15). Let a be 10/45*b/10. Is -11 <= a?
True
Let i be ((-10)/2 - -1) + 7/(-1365)*-987. Which is smaller: 1 or i?
1
Let m(l) = 4*l**2 + 50*l - 7. Let b(o) = 4 + 72*o + 27*o - 6 - 11 + 7*o**2. Let k(r) = -6*b(r) + 11*m(r). Let y be k(22). Are y and 1/2 unequal?
True
Let z be 6*1 + (-352)/176. Let l = -13 - -4. Let d = l + 15. Is z at most as big as d?
True
Let i = 2.01 + -1.8. Let p = 1.14 - 1.03. Let m = p - i. Do m and -0.1 have different values?
False
Let u be (-54 - -53)*746/(-14). Let p = u - 53. Which is greater: -0.3 or p?
p
Suppose 4610 + 1917 + 700 = 9*r. Which is bigger: 806 or r?
806
Let a = -491.8 + 972.8. Which is smaller: 1 or a?
1
Let g = -3088989/845 - 6860/169. Let k = -3663 - g. Let s = k + -277/10. Which is greater: s or 7?
7
Let z = -38857 + 37933. Is z at most -14?
True
Suppose 5*p = 5*l + 24335, 5*p + 2*l + 5442 = 29756. Is p bigger than 4864?
False
Suppose -110*f - 118398 = 138*f - 2123726. Do 8085 and f have the same value?
False
Suppose 11972 = -13*v + 14*v - 3*o, v + 3*o - 12026 = 0. Which is bigger: v or 12000?
12000
Let k be (45/(-4785))/(42/(-4)). Is -1 greater than or equal to k?
False
Let g(t) = 2 + 1 + t**2 + 19*t + 12. Suppose 0 = 29*q + 710 - 188. Let y be g(q). Does 0.4 = y?
False
Let a = -22.225 + 19.6. Let t = a - -2.38. Are