Suppose u*n - 3*c = -0*n - 4, -9 = -n - 4*c. Let l be (2 - 1) + -3 + 2/n. Which is smaller: 2/211 or l?
l
Let d = -20.73 + 13.7. Let m = 11.97 + -12. Let s = d - m. Is -5 at most s?
False
Let p = 481 + -455. Suppose -14 = -p*j + 168. Which is smaller: j or 85/11?
j
Let z be (3/(-57))/((-86)/4). Let v be -3 + (46 - 42 - (-6 + 6)). Which is greater: v or z?
v
Let z be (-140)/1225*(-1)/(-2)*-5. Is z at most as big as 323?
True
Let v = 4124/3 - 177422/129. Let f = v - -1676/2279. Let c = 1 - 2. Which is greater: f or c?
f
Let k = -28 - -32. Let v be -1 + (-6)/(k/(-2)). Suppose 0 = -0*t - t + 1. Are t and v equal?
False
Let w be (2/(-75))/((-2)/10). Let n be 25/(-2) + 21/14. Which is smaller: n or w?
n
Let k = 3447 - 3446. Which is greater: k or 1/1013?
k
Let r be -7 + -6 + 8 + 630. Let x = 622 - r. Is x not equal to -95?
True
Let u(v) = -v**3 + 5*v**2 - 4*v + 9. Let z be u(4). Let a be 5 - (z + 0 + -4). Is 4 greater than or equal to a?
True
Let v(x) = 141*x + 11. Let i be v(9). Let y be i/72 - (-4)/18. Suppose 2*f - 2*d - 30 = 0, -5*d + 45 = -f + 2*f. Is f less than y?
False
Let q = -195 + 92. Let c = -103.09 - q. Is -0.4 greater than c?
False
Suppose 2*j = -87 + 393. Let t be (-22 + 2182)/12 - 29. Which is smaller: j or t?
t
Let q = 234 + -118. Let h = -116.98 + q. Let s = 0.48 + h. Is -0.4 smaller than s?
False
Suppose -20*d + 24*d - 12 = 0, -c = 4*d - 907. Which is smaller: c or 897?
c
Let j be (-2)/7*(-3)/(-2). Suppose 0 = -2*k + 8, p = -2*k + 5*k. Let c be (-1)/(((-23)/644)/((-3)/p)). Which is smaller: c or j?
c
Let r = -2601 + 2607. Which is smaller: -1693 or r?
-1693
Suppose 2*l = 3*t - 6*t - 154, -3*l = 4*t + 232. Let p(j) = 14*j - 4. Let w be p(6). Let a = w + l. Is 4/17 at least as big as a?
True
Suppose 5*i - 6 = -i. Let h be 6/40*(-45010)/(-924). Let v = 57/8 - h. Is v bigger than i?
False
Let c = -1848 + 1848. Which is greater: c or 387?
387
Let x = 3947/3368967 + -3/1171. Is 1 >= x?
True
Let i = 3.35 + 210.65. Let c = 214.61 - i. Which is bigger: 0.2 or c?
c
Let g = -11236 - -157225/14. Is -5 less than g?
False
Let b = 55 + 37. Let h = b - 61. Suppose -9*x = -5 - h. Which is greater: 3 or x?
x
Let z be (-1 + 6 - 13)/(-1*1/2). Which is smaller: z or -10?
-10
Suppose -11 = 3*b - 38. Suppose 2*s - q = -3*q + 6, 0 = 2*s - 3*q + b. Suppose 4*v - 6 = 2*x - 2, s = 5*v + 3*x + 17. Which is smaller: v or 27?
v
Let c be 8740/13072 - 5/20. Which is greater: c or 0.09?
c
Suppose 2*n + 660 - 50 = 0. Let b be n/(-2)*(-36)/(-495). Let c = 1986/187 - b. Is 1 bigger than c?
True
Let i = -2489.104 - -2489.5. Which is smaller: i or 17?
i
Suppose -14*a = -17*a + 6. Suppose 2*c + 7 = w, 5*w = -4*c + a + 5. Suppose 65*i - 67*i - 6 = 0. Which is smaller: i or c?
i
Let x = -122.778 - 0.222. Let g = x + 115. Let n = -7 - g. Which is bigger: -0.18 or n?
n
Let m be 3/(-12) - (-1)/4. Let p be 3/(-5) - 39/3*19/(-445). Which is smaller: p or m?
p
Let o(u) = 2*u**3 - 12*u**2 + 13*u - 11. Suppose 0*j - 5*j = 2*a - 30, 5*j = 4*a. Let c be o(a). Is 11 less than or equal to c?
False
Let m = -271 - -312.8. Let x = 1.8 - m. Let h = -94 - x. Is h bigger than 0?
False
Let k = -16/11 - -37/33. Let q be 292/132*3 - 5. Is k not equal to q?
True
Suppose -u - 2*u - g - 12 = 0, 0 = -4*g. Let o = -34 - -58. Let m be (-2)/(-8)*o/15. Which is greater: m or u?
m
Let a be (284/66)/((-35)/(-273)). Let x = -166/5 + a. Suppose -2*c = -2*d + 8, -d - 4*c - 5 = -2*c. Is d less than x?
False
Let a(d) = 2*d**2 + d - 31. Let s be a(4). Suppose -4*q - s*i - 321 - 202 = 0, -2*i - 526 = 4*q. Which is smaller: -130 or q?
q
Let w be 7/1 + -9 - ((-38466)/30)/3. Which is greater: 426 or w?
426
Let c(j) = 3*j**2 - 18*j - 3. Let u be c(5). Which is bigger: -52 or u?
u
Let z be (1 - -5)*2/6. Suppose 7*a - 310 = z*a. Let y be ((-286)/(-2002))/(1/427). Which is bigger: y or a?
a
Let x = -8 - -8.12. Let t = 0.163 + -0.253. Let n = x - t. Is n equal to -0.1?
False
Let b = -18.74 - -21.04. Is b greater than 13/16?
True
Let f = -477 - -514. Suppose j + 38 = -f*j. Which is greater: 3/11 or j?
3/11
Let s = -854.06 + 854. Let a be -2*(-50)/(-20) - 11/(-3). Which is smaller: a or s?
a
Let h be (65/(-10))/(2 + 18/(-12)). Suppose -q = -2*f - f + 27, 0 = -3*f + 12. Which is bigger: q or h?
h
Let l = 1480 - 238282/161. Suppose 3*o = -z - 39, -7 = 2*o - 1. Let q = z - -29. Which is smaller: l or q?
q
Let v = 862 - 810. Is 12 > v?
False
Let t(g) = -g**3 - g**2 + 6*g + 12. Let p be t(-4). Let q be (-60)/p + (-58)/(-30). Let j(r) = -r**3 + 4*r**2 + 6*r - 6. Let f be j(5). Is f at most q?
True
Let x = -16 + 21. Let g = 0 + x. Let l = -230 + 229.9. Which is smaller: l or g?
l
Suppose 0 = -27*l + 24*l. Suppose -5*u = -5*y + 635, -u + 3*u + 122 = y. Suppose -16*g = -22*g - y. Are g and l nonequal?
True
Let o be (153/34)/9*430. Does o = 2802/13?
False
Let l = 36 - 26. Let t = 5 + -4.48. Let k = -0.62 + t. Which is smaller: l or k?
k
Let p = -174 - -190. Suppose 108 = -p*x - 52. Is x at most as big as -19?
False
Suppose -27*g + 70 = -20*g. Let v be 5*(-5)/g*2. Do v and 2 have the same value?
False
Suppose 3*r - 44 = -r. Suppose -4*f + 4*q + 48 = 0, 3*f + 51 = 7*f - 3*q. Are r and f nonequal?
True
Let a(q) = -2809*q - 11609. Let s be a(-4). Suppose -941 - 924 = 5*k. Is s >= k?
True
Let t be 1 - (-1 - 64/(-46)). Let x(u) = -10*u + 1. Suppose 12*v + 9*v = -4*v. Let n be x(v). Are t and n unequal?
True
Let b(z) = -4*z**3 + z**2 - 5*z + 6. Let a be b(2). Let v = a + 59. Let f = v - 33. Is -0.3 greater than f?
True
Suppose 70*d - 8 = 72*d. Let k be (-10 - -1)*d/6. Let a be 6*(-3)/k - 5*2. Which is bigger: a or -35/3?
-35/3
Let j(o) = 9*o**2 - 10*o**2 + 5*o**2 + 4*o - 1 - 20*o**3 - o. Let w be j(-1). Which is greater: w or 21?
21
Let c = 623 + -359. Let q = 260 - c. Are q and -84/19 equal?
False
Let g be 0/((2 - -2)/(-2)). Suppose -5*x = -g*l - 2*l + 39, 0 = l - 3*x - 22. Which is smaller: l or 1/4?
1/4
Let a be ((135/(-99))/3)/(8/3 + -3). Are 3/4 and a unequal?
True
Suppose b - 21 = 2*c, 3*c - 14 + 3 = -b. Let f = b + -5. Suppose 11*t - 30 = 8*t. Are f and t nonequal?
True
Let z(o) = -o + 14. Let p be z(-7). Let w = p + -19. Suppose 0 = -w*u - 5*u + 329. Is u > 46?
True
Let j be -3*(0 - -3) - 1. Let w(t) = -6*t**2 - 100*t + 324. Let f(r) = -r**2 - 20*r + 65. Let d(b) = 11*f(b) - 2*w(b). Let m be d(15). Are m and j nonequal?
True
Suppose o - 4*a + 3 = 2, -2*o + a - 2 = 0. Let f = -3/138418 - 1158973875/1799434. Let d = 643 + f. Which is smaller: d or o?
d
Let g = 1377083/7420 - 431/265. Let z = g + -184. Let t(j) = 2*j - 31. Let a be t(16). Is z at most a?
True
Let y = -843 + 871. Suppose 36*t - y*t = 96. Are 11 and t equal?
False
Suppose -254*m - 7540 = 36*m. Which is bigger: m or -347/14?
-347/14
Let w(m) = -3*m**2 + 326*m - 1559. Let j be w(5). Is j equal to -326/113?
False
Let c = -49320/11 + 4480. Suppose 0 = -2*w + 2*h - 14, -w - 25 = 3*w - 3*h. Which is smaller: c or w?
w
Let x be -9 + (-45)/((-135)/(-492)). Which is smaller: x or -164?
x
Let z be (-4)/2*6 - 1. Let g(b) = -25*b**2 - 31*b**2 + 68*b**2 - 26*b**2 + 4 - 14*b - 5 - b**3. Let k be g(z). Is k bigger than 12?
False
Let i(g) = -g**3 - 10*g**2 - 28*g + 7. Let n be i(-9). Let w = n + -203. Is -25 less than w?
False
Let d(v) = v**3 - 16*v**2 + 3. Let f be d(16). Suppose -695 = -f*b - 260. Let o be b/(-42) + (-10)/(-60). Is -4 smaller than o?
True
Suppose 14*u - 2*d = -8, -17*d = -4*u - 21*d + 16. Which is smaller: -18/635 or u?
-18/635
Let v = 39.8091 - 0.3891. Let g = 39 - v. Let m = g - -0.72. Is 5 less than or equal to m?
False
Let s(u) = 3*u**2 + 47*u. Let m be s(-17). Let b = -77 + m. Is b <= 2?
True
Let r = 3780 + -3795. Suppose 0*f - 4*f - 2*l - 70 = 0, -2*f - 5*l = 39. Is f at least as big as r?
False
Let j be (-12 - -14)*3/2. Let h be 1/j - (0 - (-52)/120). Let x(a) = -3*a + 23. Let z be x(8). Is h not equal to z?
True
Suppose -5*v = 2*y - 77, 4*v + 4*y + 15 = 79. Let b be (-5)/v + 790/2100. Which is bigger: b or 1?
1
Let d be (-39)/17 + -1 + (-16)/(-4). Let x = d - 569/782. Let c = -10 + 11. Which is smaller: x or c?
x
Suppose -38*x - 66 = -40*x. Suppose -13 = -x*y - 13. Is y smaller than 25?
True
Let g(v) = v**2 - 170*v + 4413. Let t be g(138). Which is bigger: t or 932?
932
Let b be 1 + (-128)/(-36) + -5. Let c = 0.0306 - -3.9694. Is b < c?
True
Let x(q