r y?
d
Suppose z - 2*c + 298 = 0, 16 = 73*c - 77*c. Which is smaller: z or -304?
z
Suppose -66248 = 230*s - 34*s. Which is bigger: -336 or s?
-336
Suppose 0 = -4*v - 16, 3*v + 13 = z + 2. Let p = 0 + -3. Let k be (42/(-13) - p)*(-3 + 4). Is k greater than z?
True
Suppose 688*z + 306 = 790*z. Let l = 52 - 8. Which is bigger: z or l?
l
Let d = 4375 - 4374. Which is smaller: 1199 or d?
d
Let b(l) = 23*l**2 + 1132*l + 147. Let a be b(-45). Is -4218 at least as big as a?
True
Let t be 3*(-2)/4845*5. Let y be ((-144)/(-504))/((-4)/14). Which is bigger: t or y?
t
Let x(b) = -28*b + 257. Let i be ((-6)/4)/(207/(-966)). Let s be x(i). Is s at least 63?
False
Let c = -0.73 + 0.42. Let a = c + 0.58. Let d = 1310 + -9172/7. Which is greater: a or d?
a
Suppose 0 = x + h - 4, 4*x - h - 1 = -0*h. Are x and -2/3765 equal?
False
Let i be (-2)/10 + 616/55. Suppose s + 4 + i = 0. Let p = 27 + s. Is 11 less than p?
True
Let d = -6.259 + 5.789. Is d not equal to 10?
True
Suppose 211*i + 3235333 = 110*i. Is -32033 less than i?
False
Let z(r) = r**3 - r**2 - r - 2. Let o be z(4). Let s be 2*(-4 - -9 - 6). Which is bigger: s or o?
o
Let h = -3778 - -3779. Is h greater than or equal to 2/1209?
True
Let r = 880 + -879. Suppose -2*m - 975 = -5*m. Let y = -16251/50 + m. Which is bigger: r or y?
r
Suppose -24*c + 15210 = 2*c. Is 585 not equal to c?
False
Let p be ((-4)/(-22) - 288483/1494636)*8. Suppose g - 2 = -6, -5*q + 5*g + 20 = 0. Which is bigger: p or q?
q
Let c = -386.13 + 388. Let w = c + 0.93. Is -3 != w?
True
Let m = -0.26179 - 0.12821. Let j = -15.93 - -16. Let k = -0.03 - j. Which is smaller: k or m?
m
Let f = 64.1 - 64. Let x be (9/(-6))/((-15)/4854). Let w = 495 - x. Is f > w?
False
Let x be (-3)/25*(-630 - 61) + 8/100. Which is greater: x or 30?
x
Let c = -1 - 0. Let k = -17488 - -17488.64. Is k at least c?
True
Let z be (8 + 136/(-16))/(-2 + 4). Let x be (10/5)/(6/(-51)). Which is bigger: z or x?
z
Suppose -b - 5*r = -17, r = 3*b - 3*r - 89. Suppose -b*j + 26*j - 6 = 0. Let d be j/(-14) + (-80)/(-140). Is d smaller than 12/11?
True
Suppose 5*a + 0*y - 17 = -y, y = -2*a + 8. Suppose a*h - 6 = -12. Let s be (-7)/22 + h/33*3. Which is bigger: -26 or s?
s
Let a = -1886 + 1984. Which is bigger: a or 0.08?
a
Let b = 0.126 + 88.874. Let a = 23795 - 118977/5. Is b greater than a?
True
Let i be ((-2)/6)/(1/(-6)). Let z be ((-6)/4)/((-1)/i). Let o = 2225/39 - 720/13. Which is smaller: o or z?
o
Let d be (-6)/(-141) + (-1635)/(-235). Suppose -2*k = 3*k - 125. Which is smaller: k or d?
d
Let z = -1.28 - -8.5. Let d = z - 0.22. Let k = -7.1 + d. Are k and -13 equal?
False
Suppose 0 = 15*l - 10*l - 75. Suppose l = -3*a, -4*a - 484 = 11*s - 7*s. Let r be ((-1 - 0) + -3)*2/s. Which is smaller: r or -1?
-1
Let p = -220 + 219.78. Let q = p - -0.32. Let v = 140 - 100. Which is greater: v or q?
v
Let r be 3 - (-84)/(-30) - (-32805)/100. Let h = -9351/28 + r. Which is greater: -6 or h?
h
Suppose -3*m - 44 = 4. Let b = 8802 + -35271/4. Which is smaller: b or m?
m
Suppose 4*f + 2*a - 2 = 0, -3*f + 6 - 3 = 3*a. Suppose f = -9*u - 68 + 14. Is u at least as big as -3?
False
Let y be 47/2 - (-2)/4. Suppose -y - 39 = -7*l. Let d be l/(-6)*(-2 - 12). Is 22 not equal to d?
True
Suppose 0 = 58*i - 57*i - 8*g + 187, 0 = -2*i - 4*g - 334. Suppose 5*f + y = -861, -3*y - 157 = 4*f + 523. Which is bigger: f or i?
i
Let a = 2421 - 3441. Let s be (-7952)/a + -7 + 9. Let t = -162/17 + s. Is 0.2 < t?
True
Let a = -11373325/689 - -16507. Let k be ((-74610)/132)/((-8268)/16). Let m = a + k. Which is smaller: 1 or m?
1
Let d = -4184 - 6399. Which is smaller: -10582 or d?
d
Let q = 35564 - 320078/9. Is -11243 bigger than q?
False
Suppose -124*o + 281*o - 18*o + 483*o = 50382. Suppose -5*c + 691 - 286 = 0. Is c < o?
False
Let f(o) = 2*o**2 - 34*o + 195. Let g be f(9). Is g not equal to 33?
True
Suppose 2*p - 27*u + 32*u = 5158, 3*p = -2*u + 7715. Which is smaller: 2 or p?
2
Let g = 4964703/32 - 155163. Which is bigger: g or -15?
-15
Let n = 646 - -83.4. Which is greater: 1 or n?
n
Let r = 1162/1625 + 26/125. Is r less than or equal to 90?
True
Let q(y) = 5*y**3 + 671*y**2 + 129*y - 722. Let v be q(-134). Is v >= -1596/31?
False
Let n = 68 - 71. Let t be (-1 + 232/220)*2/n. Is t != 1?
True
Let w be (-2808)/(-81)*3/2. Let b be ((-22)/15 - w/(-65))*6. Is b at least 6/11?
False
Let m = -163 - -162.27. Let h = -21.27 + m. Let p = -13 + h. Which is smaller: p or 1?
p
Suppose 5*g - 196 = -71. Suppose -5*m + g + 100 = 0. Is m > 2/11?
True
Let q(p) = p**2 + 6*p - 4. Let j be q(-8). Let c = 96 - 93. Let f(y) = 4*y - 1. Let t be f(c). Which is bigger: t or j?
j
Let u(a) = -a - 2. Let k be u(-5). Let q = -159 + 114. Let t be (3/(q/6))/((-24)/(-40)). Is t at least k?
False
Let c = -246147/8 + 30722. Let y = -49 - c. Are y and -4 unequal?
True
Suppose -8*k + 2*i + 347 = -7*k, 3*k - 1009 = -2*i. Let t = k - 964/3. Which is bigger: 18 or t?
18
Let d = 1.6869 + -1.4869. Which is smaller: d or 1.773?
d
Let q = -2389 + 3345. Is 955 at least as big as q?
False
Let y(c) = -4*c**2 - 31*c - 7. Let r be y(-7). Suppose -6*n - 5*p = -n + 10, p = -4*n - r. Is n less than -34?
False
Suppose 2*a + 2*a + 3*b - 28 = 0, 3*a = -3*b + 21. Suppose 24*g - 165 + 27 = 30. Is a greater than g?
False
Let t(b) = 16*b + 131. Let l(j) = -j**2 - 13*j + 8. Let s be l(-14). Let i be t(s). Which is greater: i or 38?
38
Suppose 20 = 20*a - 15*a. Suppose 4*h = a*l + 16, -1 = -2*h - 0*h - 5*l. Let y be 36/(-54) + h/5. Which is smaller: y or 0?
y
Let u = -56 - -56.06. Let w = -1.44 + 1.6. Let d = u - w. Is -1 at most as big as d?
True
Let i be 4/8 + 22117/34. Suppose -3*u + 4*z - i = -1999, 4*z - 2300 = -5*u. Which is greater: u or 457?
457
Suppose 0 = 5*i - 593 + 23. Suppose -33 = 7*q + i. Suppose -100 = 2*b + 3*b. Are b and q unequal?
True
Let x = 0.6 + -44.6. Let j = 44 + x. Which is smaller: j or -3.2?
-3.2
Let t = -200/31 + 117338/18197. Let l = 486 - 487. Is l at least as big as t?
False
Let z = 2/23193 + 57727369/92772. Which is bigger: z or 623?
623
Suppose -108 = -3*y - 3*g, 0 = -14*y + 13*y + 4*g + 56. Let q be (-158)/(-8) - -1*10/y. Is q bigger than 20?
False
Suppose 5*c = 2*g + 2, g - 22*c + 27 = -26*c. Is g > 119?
False
Let z(i) = -i**3 + 5*i**2 + 6*i. Let q be z(6). Let p = 48280 - 48340. Are q and p equal?
False
Let y be (-2)/32 + 6055/8304. Let d = -24 + 6.6. Is d smaller than y?
True
Suppose 57*a + 5099 = 1877 - 2763. Which is bigger: -88 or a?
-88
Let b = -44 - -71. Suppose 0 = n + 2*n + 3*c + b, -2*n - 3 = -3*c. Let g be -1*16/(-14)*n/4. Which is greater: -2 or g?
g
Suppose -3*f + 54 = -3*u - 90, 3*f - 102 = 2*u. Which is smaller: u or -391/9?
-391/9
Let y = -55187/54 + 1022. Suppose -2*m - 2*m = 0. Let p(o) = o - 1. Let b be p(m). Is b smaller than y?
True
Let c(o) = 125*o + 1620. Let r be c(-13). Let s be 3/9 + (-26)/4. Which is smaller: s or r?
s
Let b be (5 + 75)*(-21)/(-12). Suppose -35*g - b = -39*g. Let i = g - 25. Does 8 = i?
False
Let k(c) = 57*c + 5525. Let n be k(-96). Is n <= 124?
True
Let j be (-105)/210*(-474 + (-2 - 2)). Let h(s) = 16*s**2 - 4*s - 1. Let p be h(4). Is p <= j?
True
Suppose -4*s + 2*b = -172 + 42, 0 = 3*s - 4*b - 85. Let o be ((-27)/(-36))/(6/(-24)). Let g(z) = 4*z**2 - 7*z - 23. Let i be g(o). Is s not equal to i?
True
Let o = -2318.7 - -2319. Which is smaller: -453 or o?
-453
Let w = -137.28 - -126.1. Let t = w - 1.82. Let m = -10/3 + 4. Is m at most t?
False
Let v be (369/984)/(1/8). Let k be -6*(-13)/v*(-36)/96. Let i = -3 + -6. Is i at most as big as k?
False
Let l = -951 + 956. Suppose -l*h + 3*c + 2472 = 0, -h - 4*c = 4*h - 2444. Is h smaller than 493?
True
Let a = 5/113 + 535/678. Let f = 1.02495 - 0.02495. Is a at most f?
True
Suppose -2*c - 5515 = -5*j, -3*j + 3309 = c + 2*c. Which is smaller: j or 1102?
1102
Let c(f) = -2*f**3 + 118*f**2 + 13*f - 197. Let j be c(59). Which is bigger: j or 2856/5?
2856/5
Suppose t = -3*t + 148. Let n(u) = -u**3 - u**2 + 11*u - 10. Let f be n(-5). Which is bigger: t or f?
t
Let f be (-6)/(-4)*10/(-15). Let n be ((-102)/(-408))/((-735)/36). Which is bigger: f or n?
n
Let n be 16/28 - (2/(-7866))/(98/(-220738)). Which is smaller: n or 0?
n
Let c = 48 - 47. Let w(y) = -5*y**3 + 4*y**3 - 58*y + 57*y + 3*y**2 - 1. Let g be w(c). Which is smaller: g or 10?
g
Su