ose -d + 965 = q*x - 3*d, -2*x + 3*d + 386 = 0. Which is smaller: 192 or x?
192
Let q be (-165)/553 + (-4)/(-14). Let m = -136534203/316 + 432069. Let b = q - m. Which is smaller: b or 0?
0
Let y be (-30)/195 + (-544)/5252. Is 1 <= y?
False
Suppose 5*q + 0*q + 2 = -4*c, -4*c + 14 = -3*q. Let n be (c + (-11)/4)*4. Let v = 2/255 - 199/85. Which is greater: n or v?
v
Let j = -33 + -6. Let t = 971 + -967. Suppose -164 = t*c + 4*o, 2*o = -40*c + 41*c + 29. Is j at most as big as c?
True
Let s be (-71520)/99120 + 9*(-4)/(-42). Is -2/31 smaller than s?
True
Let a = -0.72 - -0.96. Let q = -0.19 + a. Let b be (-60)/14 - (-6)/21. Which is bigger: q or b?
q
Let a be ((-12)/(-8))/((-95)/38). Which is bigger: -252 or a?
a
Let w = -173.1784 + 0.1784. Which is bigger: w or -0.1?
-0.1
Let d = -5942/177 - -14/59. Suppose -1 = n - 2*n. Do d and n have different values?
True
Let k(n) = -16*n + 38. Let c be k(3). Let o(r) = -r**3 - 8*r**2 + 20*r - 7. Let h be o(c). Which is smaller: h or -4?
h
Let i(b) = -12*b - 2. Let c be i(-5). Suppose -145 = 5*o - 160, 3*m + 4*o - 189 = 0. Is c greater than or equal to m?
False
Let l = 211 - 190. Suppose -7*p - l + 42 = 0. Which is greater: p or -34?
p
Let t = -4 + -1. Let k = t - -2. Let i = 204045 + -204044. Do i and k have different values?
True
Let l(q) = -q + 77. Let c be l(0). Suppose -5*m - 7 = -4*i, -4*i - 20 = 5*m - c. Suppose -4*x = -12*x - i. Is x bigger than 2/41?
False
Suppose -37*k + 21 - 34 = 24. Which is greater: k or -28/583?
-28/583
Let u = 88 + -160. Let s = -68 - u. Let b = 88 + -74. Which is smaller: s or b?
s
Let x = 15047/43687158 + 1/17538. Which is smaller: x or -1?
-1
Let w be (7 - 5) + ((-4)/12)/((-1)/(-6)). Is -5/1973 less than w?
True
Suppose -2*u = 6, 7*j = 12*j + 3*u - 2066. Let g = 414 - j. Is g greater than or equal to -1/89?
False
Let g = 5816 - 5779. Are g and 33 unequal?
True
Suppose -26*z - 18183 = -8563. Which is smaller: z or -354?
z
Let q be (8 - 16) + 9 - -3. Let x be ((-18777)/(-4470) - 4) + q/(-20). Which is bigger: x or -1?
x
Let g be 138/276 + (-898)/(-6)*5/(-1390). Which is bigger: 0 or g?
0
Let u = -4720 + 3187. Is 0.1 greater than u?
True
Let c = -716 - -719. Let m be (-8783)/52 + (-5)/20. Let t = 171 + m. Is c < t?
False
Let b(r) = r**3 + 107*r**2 + 1737*r - 264. Let u be b(-87). Let v be (-17)/30 - 6/(-15). Which is smaller: v or u?
u
Let k be 2 + 16/132*-9. Suppose 0 = 15*f - 26*f + 22. Is k less than or equal to f?
True
Let b be 2/(-2 - 0) + -72. Let t = -50 - b. Let v = -4857 + 4879. Which is greater: v or t?
t
Suppose -5*t + 3*z = -4474, 3*z - 1883 = -4*t + 1707. Does t = -4?
False
Let m = -38.25 + 38.35. Which is greater: -527 or m?
m
Let b be (-8)/44 + 13/11 + 2. Suppose d = -5*f - 42, b*d + 3*f = f - 152. Let y be 0/3 + d - 0. Which is greater: y or -51?
-51
Let j(a) = -104*a + 7 - 22 + 105*a. Let p be j(10). Suppose -4*l - 165 = 29*l. Is l at most p?
True
Let b(x) = x**3 - 7*x**2 - x - 43. Suppose -41*u + 37*u = -32. Let d be b(u). Which is bigger: d or 6?
d
Let s(j) = -j**3 + 10*j**2 - 2*j + 3. Let h be 9/(-2)*2/(-1). Let k be s(h). Suppose -c + k = -7*c. Is c at most as big as -11?
True
Let s(t) = 38*t - 73. Let d be s(-8). Let f = d + 377. Which is smaller: 256 or f?
f
Suppose -11 = -2*o + 3. Suppose -o*z + 17*z = -620. Let l = z + 14. Does -46 = l?
False
Let d = 1.83 + -10.53. Let j = 26.7 - 28. Let y = j + d. Does 0 = y?
False
Let m = 78677/367290 - -2/26235. Is 0 greater than or equal to m?
False
Let h be ((-37)/(-777))/(1/(-243)). Which is smaller: -11 or h?
h
Let o = 19830 + -27302. Is -7472 at least o?
True
Let j = 3.0771 + 2436.9229. Is j greater than or equal to -4?
True
Let l = -28.299 + 1.389. Let k = 27 + l. Which is smaller: 1 or k?
k
Suppose 0 = -4*j - 512 + 400. Let x = 81 + -145. Let h = 37 + x. Which is smaller: h or j?
j
Suppose -345 + 481 = 34*q. Let h be 187/(-34)*q/22. Let w = 90 - 33. Are w and h nonequal?
True
Let m = -241 - -261. Let i(h) = h**2 - 30*h + 201. Let d be i(m). Let u be (4/(-10))/(-28 - -2). Is u equal to d?
False
Let l be (-10*19/285)/(10/111). Suppose -14 + 1 = z + 2*j, 15 = -5*j. Let i = l - z. Which is greater: 0.7 or i?
0.7
Let u be 6/9*2*(-27882)/(-24). Is 1549 > u?
False
Let r = -3 - 4. Let x = 6.84 + r. Let o = 782 + -782.2. Which is bigger: x or o?
x
Let i = 237 - 200. Let l = 1319 - 1283. Is i > l?
True
Suppose -177*o = -165*o + 384. Let n be ((-8)/(-3))/((o/(-6))/8). Which is greater: n or -12?
n
Let i be ((-44)/10)/(8/40). Let l(g) = 4*g**2 + 14*g + 17. Let y be l(-7). Suppose 22*j = 27*j + y. Does j = i?
False
Let k(x) = -x**2 + 97*x - 371. Let c be k(93). Which is smaller: -94 or c?
-94
Let g(p) = -2*p**2 + 15*p - 7. Let h be g(6). Suppose 4*u + h - 27 = 0. Let i be (-172)/(-405) - (u + 108/(-30)). Is i at least as big as 1?
False
Let m(v) = -v**3 - 22*v**2 - 2*v + 759. Let j be m(-20). Which is greater: j or -10/7021?
-10/7021
Let g = 72 - 74. Let n(b) = -30*b - 3. Let a be n(g). Let d = 51 - a. Which is smaller: -7 or d?
-7
Let a be -2 - (3 + 46/2). Let i(t) = 62*t**2 - 810*t + 24. Let q be i(13). Is a smaller than q?
False
Let d(t) = -t**2 - 14*t - 21. Let j be d(-12). Let r = j + -1. Let a be 718/(-34) + r/17. Is a bigger than -21?
False
Let f(w) = -550*w**3 + w**2 - 2*w - 9*w**2 + 551*w**3 + 13. Let q be f(8). Do q and -33/10 have the same value?
False
Let i = 10606 - 10608. Is -12/97 bigger than i?
True
Let x = -92.25 - -92.85. Is 5/192 greater than or equal to x?
False
Let i = -44282/15 + 3014341/1020. Let z = i + -40/17. Do -4/5 and z have different values?
True
Let w = 0.7557 + -416.7557. Which is smaller: -16 or w?
w
Let s(u) = -u**3 - 51*u**2 - 99*u - 48. Let z be s(-49). Which is smaller: -11/27 or z?
-11/27
Let k = 3660 + -3670. Which is smaller: k or -180/17?
-180/17
Suppose 0 = -5*j - i + 73, -28 = -2*j - 2*i - 2. Suppose 4*u - 3*d - 11 = 0, -u = -5*d - 9 - j. Let t be u*(-63)/24 - 2. Which is greater: 0 or t?
t
Let m(i) = -2*i**2 + 39*i - 16. Let f be m(19). Suppose -g + 3*l = -8, -4*l - 29 + 1 = f*g. Are g and -5 non-equal?
True
Let m = -2361 + 6241. Is m <= 3878?
False
Let s be (0 - 7) + 712/136 - -2. Which is bigger: -1 or s?
s
Let k be (2 - 7)/15*-123. Suppose -3*r + 59 = 4*j - k, 0 = r + 3*j - 40. Let z be (-3)/(-5)*r/(-42). Which is bigger: 2 or z?
2
Let r(n) = -n**3 + 15*n**2 + 16*n + 3. Let q be r(16). Let f be q/(-5) - (-630)/1175. Do 1 and f have the same value?
False
Let c = -39 - 1. Let g = c - -11. Which is bigger: -28 or g?
-28
Suppose 0 = 3*b + 6. Suppose 15 = -12*a + 13*a. Suppose 8 = 7*j + a. Is j less than b?
False
Let d(r) = r**2 + 4*r + 8. Let b be d(-4). Let o(w) = -w**2 + 9*w - 4. Let v be o(b). Let l = 411/4 + -103. Is v at least as big as l?
True
Let v = 176 - 56. Let y be (-15)/v + 39/(-8). Do 0.04 and y have different values?
True
Let y be (4 - 17)*-2 - -4. Suppose 0 = -t + y - 26. Suppose t*z - w = 0, -4*w = -4*z - 5*w - 8. Which is bigger: z or 2/197?
2/197
Let t(k) = -2*k**2 - 50*k - 47. Let l be t(-24). Let c = -9/11 + l. Which is greater: 3/7 or c?
3/7
Let y = -1 - -5. Let q = -359 - -374. Is q bigger than y?
True
Let l(h) = 0*h + 1 + 2*h - 6*h**2 + 5*h**2. Suppose 2*j - 22 = -18. Let f be l(j). Is f <= 2?
True
Let y = 12412.9 + -12413. Which is bigger: -465.7 or y?
y
Let p be (-1*(-2)/5)/((-1)/(-5)). Suppose -x - 27 = -4*d - 4*x, -10 = -p*x. Suppose -334 + d = 4*c - w, -2*w = 4*c + 346. Is -83 smaller than c?
False
Suppose 4*y - 17 = -4*v - 1, 0 = -3*y + 3*v + 42. Let z be 19 - 2420/170 - -3*1. Is y <= z?
False
Let w(i) = -i**3 - 2*i**2 - 2. Let k be w(2). Let s = 697 + -702. Let d be (6/6)/(s/85). Which is smaller: d or k?
k
Let g(o) = -13*o - 145. Let u be g(-13). Let r be 8/u*-2*(-1866)/4. Is r greater than 311?
False
Let w = -68 - -64. Let p(n) = 2*n**2 + n - 8. Let t be p(w). Suppose 30 = -t*j + 19*j. Is j bigger than -31?
True
Suppose 0 = -5*x - 25, l - 5*x + 0*x = 71. Suppose 3*p = -33, 0 = 18*v + 5*p + 827 - 1528. Which is smaller: l or v?
v
Let u = 1983 - 6074/3. Let t = 42 + u. Let k be (2*(-2)/(-30))/(-6 - (-1247)/215). Which is smaller: k or t?
k
Let g = 44 + -45. Let c = 33 + -24. Let d = 9.39 - c. Is d bigger than g?
True
Suppose 30*c = 72*c - 13062. Let t = c + -312. Is t greater than 119/2?
False
Suppose -s + 2*s = 2*b + 54, 2*b - 5*s = -38. Let k =