(-1)/(-3). Which is bigger: n or 1?
1
Let y = 1320 + -1319. Is y <= -5?
False
Let g be ((-144)/(-16))/(6/4). Suppose 7*h = h - g. Is -2/13 at least as big as h?
True
Let m = 34/5 + -164/25. Which is smaller: m or 1?
m
Let u = 3.8 - -1.2. Let i = -0.41 - -1.57. Let f = 0.16 - i. Are f and u nonequal?
True
Suppose 3*l = 2*p - 7*p + 5, -4*l = p - 1. Is l > -119?
True
Let v = 2465/34314 + -4/57. Is 1 bigger than v?
True
Suppose -3 + 1 = -2*u. Let y be u*4 + (0 - 4). Let w be 3/(-9) - (-8)/60. Which is smaller: w or y?
w
Let u = -314491/2976 - -9/992. Is -107 >= u?
False
Let a = 1329.1 - 1385. Let y = 56 + a. Which is bigger: y or 59?
59
Let k = -257 - -310. Does 56 = k?
False
Let z(d) = d + 8. Let h be z(-4). Suppose -h*q = -2*x - 8, 4*x - q + 5*q = 32. Is x at most 1?
False
Let j = -5.673 - -0.673. Let i = 89/7 - 13. Is j at most i?
True
Let s = -48.277 + 0.277. Is -1 < s?
False
Let u be 12/(-8)*6/18*36. Let n = -4 - -4. Is n not equal to u?
True
Let b(k) = -k**2 - 8*k + 78. Let s be b(6). Is -43/6 equal to s?
False
Let r = 120.4 - 190.5. Let z = 70 + r. Which is bigger: 13 or z?
13
Let s be (-4 - 0)/((-2)/2). Let w be (s/(-20))/((-9)/438). Let m = 31/3 - w. Is 1 <= m?
False
Let b be 168/(-35)*45/(-4). Is 54 smaller than b?
False
Let b = -328/23205 - 2/255. Let m = 3559/455 + b. Which is greater: 8 or m?
8
Let f(n) = -3*n + 3. Suppose -3*s - 2*s = -2*i, 4*s - 3*i = 0. Let g be f(s). Suppose 0 = 3*c - g*z - 9, -c + 4 = -2*z - 4. Are -5 and c unequal?
True
Let t = -2.679 - -0.679. Which is bigger: -8/5 or t?
-8/5
Let j = -58 - -2. Let p = j + 55.62. Which is smaller: 0 or p?
p
Let f = -13/7 + 213/28. Let p be ((2 + -1)*(-35 + 33))/(-7). Does p = f?
False
Let m(f) = 2*f**2 + 2*f. Let r(n) = -n**3 + n**2 - 3. Let a = 18 + -18. Let y be r(a). Let u be m(y). Is 12 < u?
False
Let d be (455/14)/(-13)*(-2)/1. Which is smaller: d or 32?
d
Let d = 66/17 - 496/119. Which is bigger: -0.0681 or d?
-0.0681
Let f be 3 - (15 - -172)/(-17). Suppose -2*d + 0*d + 20 = 0. Which is smaller: f or d?
d
Suppose 3*q = -2*q - 80. Let o = -24 - q. Let u = -219.8 + 220. Which is smaller: o or u?
o
Let z be ((-63)/(-252))/(-1*39). Is z at least as big as -1?
True
Suppose 59*m - 39*m = -1680. Is 1 < m?
False
Let s(t) = -t**3 + 5*t**2 + 8*t + 2. Let x be s(6). Let w be 3/(12/x)*2. Let f be (-8)/(-14) - 180/(-28). Is f greater than w?
False
Let k = 170727/8 + -21247. Let p = 94 - k. Is -5/2 less than p?
True
Suppose -3*u = -c - 56, 5*u - 17*c = -21*c + 116. Let o be -2 - -2 - (-6 - -6). Suppose -5*y + 0*m = -m - 101, o = -y + 3*m + 9. Which is greater: y or u?
y
Let x(s) = -18*s + 5. Let c be x(-7). Suppose -3*r - 229 = c. Let h = r + 842/7. Is 0.1 smaller than h?
True
Let m be (-2 + (0 - -7))*(-24)/20. Let r be (-4)/(-18) + (m - (-6979)/1197). Which is smaller: r or 1?
r
Let s be (-6 + -61 + 2)*(-11)/(-3). Let j = -255 - s. Is -17 > j?
False
Let v = 594 - 593. Which is greater: 12/301 or v?
v
Let q(p) = 4*p**2 - 5*p - 1. Let y(r) = 9*r**2 - 9*r - 2. Let m(h) = 13*q(h) - 6*y(h). Let c be m(-5). Which is smaller: c or 33/13?
33/13
Suppose 3*l = 2*l + 3. Let o = -46.3 + 0.3. Let i = -44 - o. Is l <= i?
False
Let t(o) = 1 + 16*o**3 - 7*o**3 - 2*o + 3*o**2 - 8*o**3. Let m be t(-2). Let n = m - 8. Does n = 16?
False
Suppose 0 = -0*v - v + 7*v. Which is greater: -3/34 or v?
v
Let f be 1/(-4) + 3/(-4). Let v = -54 - -53. Let q be v/2*(-42)/7. Which is greater: f or q?
q
Let r = 92 + -54. Suppose 50 = 2*c + 4*j, 3*c + j - 12 - 93 = 0. Is r smaller than c?
False
Let f(m) = -33*m - 160. Let g be f(-8). Which is greater: g or 100?
g
Suppose 5*u - 154 = 11. Which is bigger: 131/4 or u?
u
Let t(q) = 6 + 2*q + 0*q - q. Let g be t(-5). Suppose -30512*d + 7 = -30505*d. Are d and g unequal?
False
Let l be (315/42)/((-2)/(-20)). Let j(k) = k**2 + 18*k + 11. Let m be j(-21). Do l and m have the same value?
False
Suppose -4*r = 3*s - 5793, 2*s - 3861 = 51*r - 54*r. Which is bigger: s or 1936?
1936
Let t = -56/3 + 19. Does 123 = t?
False
Let a = 11.1 - 11. Let n = 1.1 - a. Let r = 10 + -10.06. Is r >= n?
False
Let o be 2/4*(-11 + 459/45). Which is smaller: o or -0.05?
o
Suppose -5*g + 12 = -11*g. Is g at most -7/12?
True
Let t = 548 + -552. Is t >= 5.2?
False
Let u(a) = -3*a - 15. Let j(z) = 2*z + 15. Let i(w) = 4*j(w) + 3*u(w). Let k be i(10). Let r be (-3)/((-3)/(-4))*k. Which is greater: r or -19?
-19
Let x be (18/8)/(5/(-40)). Let d = 18 + x. Suppose -3*u = -s + 7, d = s - 4*u - u - 13. Is s at least 2?
False
Suppose 128 = 2*s + 2*s. Suppose 2*r = 6*r - s. Let u be ((-6)/(-2))/((-35)/(-15) + -2). Is r not equal to u?
True
Let v(o) = o + 117. Let x be v(0). Suppose -32 = p + x. Let q = p + 753/5. Which is smaller: 1 or q?
1
Let f = 14735/18 + -818. Let l = -998/9 + 111. Let j = l - f. Which is smaller: j or -0.1?
j
Suppose -98*x = -101*x + 336. Do 112 and x have the same value?
True
Let y = -887/3 - -6221/21. Let u(z) = z**3 + 5*z**2 - 7*z - 5. Let j be u(-6). Which is smaller: j or y?
y
Suppose 6*g = 7 + 5. Suppose 11 = 3*w + g. Suppose -3*f + 6 = w*f. Is f <= 18/13?
True
Suppose 2*v + 5*n - 20 = 0, -v = 3*v + n - 4. Suppose v = -4*a - 3 + 19. Which is smaller: 6 or a?
a
Let f be (54/18)/(6/(-10)). Suppose -5*u - 9 = -2*u. Which is bigger: u or f?
u
Let c = 115 + -111. Suppose -216 = -c*q + 196. Which is smaller: q or 102?
102
Let f be 2*2/(-1 + 3). Let c be f/(-8) + 1/4. Which is greater: -2/11 or c?
c
Suppose 2*g - 8 = 3*p - p, -4*g + 16 = -p. Let l be 2592/(-45) - (-3)/(-1). Let c = l - -16069/265. Is p at most as big as c?
True
Let g = 25 - 35.9. Let y = 23.1 - g. Is -2/3 < y?
True
Let y = 927/5 + -184. Let h be (12/(-10))/(3/105). Let k = -42 - h. Which is greater: y or k?
y
Let k(u) = u + 5. Let o be k(-5). Suppose -5*x + 37 - 122 = o. Is -16 bigger than x?
True
Let r be 6/(-14) - (-740)/28. Let o = -25 + r. Let g be 1/(-2)*(2 - 2). Which is greater: g or o?
o
Let i be (0 - -3 - -1)*2/472. Which is smaller: i or -1?
-1
Let o be (-344)/6063*(-3)/2. Which is greater: o or -1?
o
Let s = 5.053 + -16.097. Let x = -0.044 - s. Is 1 less than x?
True
Let n = -1245 + 1245.1. Which is smaller: -6/121 or n?
-6/121
Let o = 7502/13 - 578. Let f = 68.3 + -69.3. Is o at least as big as f?
True
Let c = 41866/9 + -4572. Is 79 at least as big as c?
False
Let t = 277 + -101. Suppose 4*w + 0*v + t = 5*v, 2*w + 98 = 5*v. Which is bigger: w or -40?
w
Let m(x) = -x + 4. Let z be m(-7). Suppose -7*c - 16 = -z*c. Suppose -5*i + 23 = c*a - 2, 0 = -4*i - a + 9. Which is smaller: i or -3/8?
-3/8
Suppose w + w + 211 = -3*x, 0 = -4*w - 3*x - 431. Let z = 111 + w. Let a = 34406/25 + -1376. Is a at least z?
False
Let v be ((-4364)/1104 - -4) + 3/(-12). Are v and 1 non-equal?
True
Let t be ((-4)/14*1)/(351/(-819)). Suppose -3*r = 3, -3*r - 1 = 5*d - 2*r. Is d >= t?
False
Suppose 0 = -q + 7*q - 66. Let y be q + -9 + (1 - 1). Suppose -3*h = -y - 1. Which is smaller: -2 or h?
-2
Let s be 3*((-2142)/427 - -5). Which is bigger: 1 or s?
1
Let b = -242275/148 + 1637. Is 2 bigger than b?
True
Let n = 318 + -332. Let c = 14.7 - 0.7. Let m = c + n. Is m at most 13?
True
Suppose z + 29 = -3*m, -5*m + 9*z = 4*z + 35. Is -8 equal to m?
False
Let l(a) = a**3 - 13*a**2 + 14*a - 23. Let w be l(12). Does -1/236 = w?
False
Suppose -25 = d - 74. Suppose -d = 2*l - 11. Let u be ((-12)/(-30))/(l/10). Is u at most 0?
True
Let g(j) be the first derivative of -j**4/4 + j**3/3 + j**2/2 - j - 2. Let p = 34 - 36. Let b be g(p). Is b at least 7?
True
Let r = -13.1 - -18. Let t = 0.1 + r. Which is greater: t or -1/2?
t
Let k(z) = -z. Let x be k(-2). Let s be 1/((x + -1)/(-1)). Let b be ((-2)/(-4))/(90/(-20)). Do s and b have the same value?
False
Let h = 6275645/26 + -241722. Let m = 351 + h. Which is smaller: m or 0?
m
Let a be (-25)/(-52) + (-3)/12. Let y(x) = x**3 + x**2 - 3*x - 2. Let f be y(-2). Which is greater: a or f?
a
Suppose -r = -4*y - 3*r + 14, -r = 3*y - 9. Suppose -y*g = -g. Let l be 3 - 22*(-3)/(-15). Is g greater than l?
True
Let f be 25/(275/(-22)) - 386/(-192). Which is greater: -1 or f?
f
Let k = 118 - 111.2. Let w = k - 6.7. Which is smaller: w or 30?
w
Let m be 2*-2*3/12 - 3. Let q = -16 - -19. Let k(i) = -i**2 + 5. Let a be k(q). Is m >= a?
True
Let o be 9*14/1323 + (-62880)/63. Are -997 and o unequal?
True
Let j(f) = -f**