 3 = -5*t. Let s = t - -11. Suppose 5*y = s + 6. Which is smaller: y or 11/4?
11/4
Suppose 5*h - 2*u = 30, 4*h + 18 = 7*h - 2*u. Suppose 1026 = 12*x - h*x. Is x at least as big as 170?
True
Let o = -26.6 + -4.4. Let i = o - -46. Let y = i - 14.9. Is -1/100 bigger than y?
False
Suppose 4*p + 172 = 3*j, 4*p + j = -j - 172. Let c(k) = -5*k**2 - 28*k - 83. Let d be c(-3). Is p greater than or equal to d?
True
Let b(w) = -2*w**3 - 53*w**2 - 30*w - 85. Let n be b(-26). Is n != -33?
True
Suppose -239 = 3*f + 316. Let w be f/(-15) + (1 - -1). Let k = -116 + 129. Which is smaller: k or w?
k
Let h = -528/145 - 51/29. Let c = h + 5. Let m = -25.86 - 0.14. Which is smaller: c or m?
m
Let y = 198716/37 + -5372. Is -3 greater than y?
False
Let k(w) = 16*w - 156. Let s be k(10). Suppose -5*l + 25 = -5*o, 7 = s*l - 5*o - 16. Let y = 11 - 8. Is l equal to y?
False
Let o = -27.3 - -161.3. Let u = o + -133.51. Let i = -0.51 - u. Which is smaller: -2/53 or i?
i
Suppose q = 3*q + z + 29, -4*z - 44 = 2*q. Let n = -23/25 - 1789/175. Which is smaller: n or q?
q
Let r = 84.5 + -90.5. Let n = 0.346 - 0.096. Which is bigger: n or r?
n
Let q be -1*(1 + 12/((-28620)/2387)). Which is smaller: 0 or q?
0
Let r = 0.353 + -1.003. Let k = -0.55 - r. Which is greater: k or -18.1?
k
Let a be 34/(-85)*(6 + -1). Let j be (2/(-1)*3)/a. Let x be 2 - (-21 + j + -5). Is 26 bigger than x?
True
Suppose 5*k + 5*h + 30 = 0, -4*k + 3*h = -k. Let c be k/(558/1005 - (-9)/(-15)). Is 68 greater than c?
True
Let q be (-21 - (-1515)/75)/((-2)/(-4715)). Is -2/3 < q?
False
Let w = 16000 + 676. Is 16676 < w?
False
Suppose 0 = -6*s + 3*s + 4*s. Let w be ((-2 - s)*-1)/(1/(-1)). Which is bigger: 0.043 or w?
0.043
Let n = 5440 + -5486. Is n less than -21.9?
True
Let q = 397533667237/201 - 1977783525. Let g = 4086 + q. Which is bigger: g or 1?
1
Suppose 4*w = -2*k - 30, -136*w + 18*k - 58 = -131*w. Suppose -3*u - 359 = 811. Let x be u/56 + (-4)/14. Which is smaller: x or w?
w
Let w be 30/25 - 48/40. Suppose -3*v + 7*v + 904 = w. Which is smaller: -227 or v?
-227
Let p be (-1)/5*(2 - 5)*15. Let u(w) = -6*w**2 + 55*w - 8. Let g be u(p). Suppose 5*x + 70 = -10. Is x != g?
True
Let d = 137/10 - 66/5. Is 11.14 less than d?
False
Let u = 2690 + -3266. Do u and -578 have different values?
True
Let o = -614 + 621. Suppose -27*y - 48 = -31*y. Is o != y?
True
Let w(p) = -p**2 + 15*p - 57. Let v be 27/54 + (-30)/(-4). Let b be w(v). Which is smaller: b or -12/11?
-12/11
Let f be 21 + -3 - (2 + 1). Suppose 14*z - 9*z - f = 0. Suppose 0 = m - z*m - 34. Is -17 not equal to m?
False
Let w be 9 - 970/280 - 3. Let m = w - 39/14. Which is smaller: 61 or m?
m
Let i = 5 + 27. Let m = -10 + i. Let u = 3.12 + -3.12. Is u greater than or equal to m?
False
Let x(t) = -t**2 + 13*t + 379. Let j be x(28). Is j < -119/3?
True
Let u(j) = -15*j - 5. Let c be u(-6). Suppose 3*d - 2*t = 242, 4265*t = 4270*t - 25. Is d equal to c?
False
Let h be (-28)/24*(-288)/252. Which is bigger: h or -0.114?
h
Let r = 2.43 + -2.38. Let o be 5123/(-42) - 0 - 2/12. Let z = 121 + o. Is z >= r?
False
Let f = -15180 + 10771. Which is smaller: f or -0.1?
f
Suppose -114*l + 99*l - 197*l + 4231732 = 0. Is l greater than 19961?
False
Let q be 2*-2*(-1 + -4 + 4) + -85. Which is greater: q or -82?
q
Let n be (0 + (-1)/3)*1. Suppose 6950 = -5*i - 20*i. Which is bigger: n or i?
n
Let r(k) = -k**2 - 24*k - 158. Let n be r(-14). Let l(y) = 4 - 2*y - 21 - 19. Let b be l(n). Is b != -2/3?
True
Let b = -182 + 182.35. Let l = -0.28 + b. Which is bigger: l or 3?
3
Suppose 5*b - 5*u + 3046 - 8761 = 0, -4*u - 1146 = -b. Which is greater: 1139 or b?
b
Let t = 34 - 34. Let p be -1 + (-2 + (-12)/(-4))*-11. Let d be 8/p + 80/165. Is t at most as big as d?
False
Let d = -0.018 + 0.218. Suppose 2*p = 230 - 32. Let y be p/(-390) - 16/(-104). Is d at least as big as y?
True
Let l be 7144167/(-5642) - 15/70. Is -1267 equal to l?
False
Let n = 444 + -761. Let a = n + 8879/28. Let u(d) = d - 2. Let v be u(3). Is a equal to v?
False
Let b(k) = 5*k + 30. Let q be (156/15)/(-2) - 32/40. Let h be b(q). Which is bigger: h or 16/33?
16/33
Let b = 15398 + -21317. Is b < -5918?
True
Suppose -2*m + 5*m + 16 = 5*p, -3*p = -3*m - 18. Do 0.083 and m have the same value?
False
Let a(y) = -2*y. Let h(r) = -6*r + 27. Let l(k) = -5*a(k) + h(k). Let b be l(-7). Which is smaller: 1/31 or b?
b
Suppose -30*j = -22*j - 40. Suppose 14*f = j*f - 9. Let w be 0 - (f + 3 + 2). Is -4 >= w?
True
Let u = -4230 + 8459/2. Is u at most as big as 0.0735?
True
Let c be ((-5916)/42)/((-4)/14*22/44). Which is greater: 985 or c?
c
Let g be (64/(-5264))/(-3 - (-72)/28). Suppose 0 = t - 2*w + 3 - 1, 0 = 2*t - 3*w + 3. Which is bigger: t or g?
g
Let m = 1037154/53 + -19569. Which is smaller: 2/11 or m?
m
Let r = 18 - 53. Let t = -21 - r. Let d be (9/54*-22)/((-1)/3). Which is smaller: d or t?
d
Let f(p) = p**2 - 12*p - 276. Let m be f(-42). Are 1989 and m equal?
False
Suppose -14*c - 1565 - 871 = 0. Let h = -184 - c. Which is smaller: -19 or h?
-19
Let p(j) = -j**2 + 12*j + 4. Let o be p(12). Suppose 6 = -4*h + 2*h, -5*i - o*h = 47. Are i and 2/9 unequal?
True
Let u = -82 - -161. Let z = -84 + u. Which is greater: z or -4?
-4
Let s be 265/10 + (-42)/12. Let l be s/((-1380)/(-8)) + 1/(-120). Is -1/3 at least as big as l?
False
Let i be -8 + (-6 - -30) + -8 + 3. Let l be (31020/70)/i*(-7)/1. Is l less than or equal to -280?
True
Let b be 696/1456*21 + -10. Is 0.578 < b?
False
Suppose 8 - 9 = d. Let l = 13035 - 7299603/560. Let q = -2/35 + l. Which is smaller: d or q?
d
Let x be 6 - (-2 - -9) - 3. Let m be (-5725)/300 - x/3. Which is smaller: m or -18?
-18
Let c be (3 - 1 - 30)/(-1). Suppose -25*r = -48*r + c*r. Let z = 1411/13692 + 2/489. Is r >= z?
False
Let x(v) = 3*v**2 + 27*v - 23. Let y be x(-10). Suppose 39*i + y = 46*i. Is i smaller than -2/461?
False
Suppose 0 = l + 24*l + 8*l - 33. Is 1/1790 greater than or equal to l?
False
Let o = 56866437/6622 - 17175/2. Do o and 0 have the same value?
False
Let h = 3271 - 3250. Which is bigger: h or 34?
34
Let w = -62/2715 - -3206849/19005. Let l = w - 169. Suppose 4*k + 23*k + 189 = 0. Which is smaller: l or k?
k
Let i = -4.97 - 407.03. Let j = -412 - i. Let f be (-31)/42 - (-1)/6. Which is bigger: f or j?
j
Suppose 5*p - 2 = -2*z, -z = p + 4*p + 9. Let s(r) be the first derivative of 9*r**2 - 76*r + 322. Let c be s(z). Is 123 at most c?
False
Suppose 2*j - k = -3*k - 10, 2*j = 2*k + 6. Let q = -5/1951 - -6103/97550. Which is smaller: q or j?
j
Let x(h) = -2*h + h**2 - 6*h + 4*h + 1. Let t be x(5). Let o be 6/14 - 72/21. Are t and o unequal?
True
Let o = -3492 + 3488. Is o less than or equal to 0.2?
True
Let d(q) = 3*q. Let w be d(8). Let l be (2 - (-49)/(-28))/(58/w). Let s = 253/1885 - l. Do s and 0 have different values?
True
Let z(s) = 2*s**2 + 13*s + 6. Let p be z(-6). Let i be -23 + (4 - p) + 3. Let b be (4/120*6)/(i/10). Which is bigger: -0.2 or b?
b
Let p = 53301/94 - 567. Let y be ((-6)/27)/(-21*(-12)/324). Which is bigger: p or y?
p
Let x = -0.03138 - -0.03138. Let a = -2.05 + 2. Let d = 9.05 + a. Which is bigger: d or x?
d
Let n = 1807 - 3214. Let f = 1457 + n. Let v be (-1 - 0)*-1 + 48. Is v smaller than f?
True
Let l = -157 - -58. Let n = -99.46 - l. Which is greater: 1 or n?
1
Let o(i) = -i**3 - 21*i**2 + 8*i + 30. Let g be o(-21). Which is smaller: -135 or g?
g
Let f = 23.618 - 23.66. Is f not equal to 10?
True
Let s = -12.3 + -46.7. Let c(p) = 13*p**2 - 647*p - 147. Let x be c(50). Which is bigger: s or x?
x
Let d = 18 + -10. Let t(g) = g**2 - 7*g + 11. Let x be t(d). Suppose 1104*j - 940*j = 3116. Is j at least x?
True
Let a(t) = -t**2 - 15*t - 58. Let h(n) = 1. Let y(c) = c**3 + 4*c**2 + c - 4. Let r be y(-3). Let l(w) = r*h(w) + a(w). Let v be l(-8). Is v > 1/70?
False
Suppose -9*n = 4*n - 520. Suppose -47*g + n = -52*g. Which is smaller: -23/3 or g?
g
Let m(v) = -v**2. Let k be m(-4). Let j(i) = -3*i + 31. Let g be j(9). Let d be (-2*(-1)/6)/(g/(-204)). Which is smaller: k or d?
d
Let b be (-4)/(-62) - (-12)/10816272*-58276. Which is smaller: 0 or b?
b
Suppose 8*m + 64*m = -8*m + 1072000. Is 13400 > m?
False
Suppose 12638 + 11526 = 226*s - 1148. Which is bigger: 123 or s?
123
Let y = 212 - 326. Let x be 4/(-630)*y/(-266). Is x smaller than 1?
True
Let