 -3765 or p?
p
Suppose -3*g = -3*h + 249, 6*g - 10*g - 5*h = 323. Let x = 83 + g. Is -2/539 less than x?
True
Let v be (-3)/(-6)*(-81 + (-9)/(-3)). Let d = 42 + v. Suppose d*i - 9 = 2*i. Is i < 1?
False
Let z = 314 + -563. Let j = z - -297. Which is smaller: j or -0.1?
-0.1
Let j(d) = d**3 + 13*d**2 + 28*d - 60. Let v be j(-5). Is v bigger than 39/29?
False
Let a = -4409/1510875 - -3/9875. Is a less than -1?
False
Let n = -13.65 + 1.65. Let l = 56 + n. Which is bigger: l or -2/5?
l
Let s = 2553.5 - 2538.5. Let t = -23 - -3. Which is bigger: s or t?
s
Let z = -0.1 + 0.2. Let g = -2.5346 - 0.4654. Which is greater: z or g?
z
Suppose -46*w - 285818 + 206179 = 415965. Which is smaller: w or -10775?
-10775
Suppose 2*k = -3*y + 33 + 28, y - 2*k = 23. Which is bigger: 41/2 or y?
y
Let a(y) = y**3 + 115*y**2 - 732*y - 726. Let h be a(-121). Which is bigger: h or -1/9257?
h
Let y = -952 - -611. Let m = y + 334. Do m and -45/8 have different values?
True
Let i be 0 - 1 - (5 + -3). Let m = i + 5. Let a = 0.37 - 0.24. Which is bigger: m or a?
m
Let j(v) = v**2 + 3*v - 2. Let n be j(-3). Suppose 0 = 39*x - 59*x - 22800. Let f = 1140 + x. Which is greater: n or f?
f
Let m = -7 - -24. Let y = 21345 + -108208/5. Let l = 297 + y. Which is bigger: l or m?
m
Let t = -166 - -167.1. Let q be (6/4)/((-76)/24 - -3). Which is bigger: q or t?
t
Let d = -4991 - -5004. Is d at least as big as -25?
True
Let c(y) = -6*y**2 - 235*y + 132. Let w be c(-39). Is w equal to 174?
False
Let b = 89282/3 + -29456. Let u = 303 - b. Which is smaller: u or -8?
-8
Let v = 4988/527 - 162/17. Suppose 2*r + r = -3*b, b - 8 = 3*r. Suppose 0 = 2*m + m + 2*h - 6, -2*m - b*h = -6. Is m at least v?
True
Let b = -241 + 348. Suppose 56*t = 57*t - b. Is t >= 105?
True
Let a = -7.868 + -0.502. Let k = 62.37 + -63. Let d = k + a. Which is smaller: d or 2?
d
Let z = 1/450 + -103/1350. Suppose 356*w - 357*w = 3*x, -5*x = -5*w + 20. Which is smaller: z or x?
x
Let w(z) = z**3 + 7*z**2 + 10*z. Let i be w(-5). Let q = i - -5. Suppose -6*o - q - 25 = 0. Is -3 bigger than o?
True
Suppose 8*c - 6 = 2*c. Suppose 0 = 3*y - c + 1. Let q be y + -1 - (-36)/28. Which is greater: 3/2 or q?
3/2
Suppose 361*y + 2198 = 204*y. Let n = -41 + 206/5. Which is greater: n or y?
n
Let y be 4 + -5705 - 450/45. Is -5712 at least y?
False
Let n = 310.2 - 10.2. Let o = n - 299.961. Is o at least 0.2?
False
Let z = -11/15 - -17/15. Let t = -1 - 162. Let x = -113 - t. Which is smaller: z or x?
z
Suppose -55 + 95 = 40*c. Which is smaller: 26/87 or c?
26/87
Let g = 110 + -77. Suppose 3*k - 185 = 2*l + g, 5*k - l - 361 = 0. Let v = 75 - k. Which is bigger: 5/3 or v?
v
Suppose -891993 = 212*q - 876 + 599031. Is -7031 < q?
True
Let k(j) = -j**2 - 2*j + 5. Let g be k(-5). Let d be ((-6)/55)/(g/25). Let w = -488 - -488. Is w > d?
False
Let m(f) = f**3 + 33*f**2 + 36*f + 90. Let x be m(-32). Which is smaller: x or -451/12?
x
Let z be ((-229)/(-1145))/(1/(-5)). Let p(i) = i**3 + 5*i**2 - i - 3. Let f be p(-5). Let h be -1 - 1 - (f + -1). Which is smaller: z or h?
h
Suppose -81*i = -5*w - 83*i - 10597, w = i - 2125. Which is bigger: -1 or w?
-1
Let v(z) = -8*z**2 + z. Let i be v(-2). Suppose -213*d = -212*d - 4*l - 11, 46 = 2*d - 4*l. Let s = i + d. Is -6/19 != s?
True
Let k = -26 + 60. Let j = 157 - 125. Let s = k - j. Is 2/23 smaller than s?
True
Suppose 4*h + 135 = -3*d, 9*d - 135 = 12*d + 5*h. Let z = d - -43. Are z and -8/7 equal?
False
Let k be -3 + ((-3)/(-2) - -1). Let q(s) = s**2 + 18*s + 34. Let l be q(-7). Which is smaller: k or l?
l
Let a be (-109)/(-218)*(0 - 12/(-489)). Let s = 3 - 1. Suppose u = s*u. Which is greater: a or u?
a
Let b = 4750.092 + -4750. Is b smaller than 9?
True
Let f(b) = 7*b**3 - 11*b**2 + 31*b - 9. Let z be f(8). Is z < -2?
False
Let s be 1 + ((-2)/4 - (-70)/(-20)). Let o be (-1)/((3/18)/1). Let v be ((-4)/s)/(o/(-81)). Is v less than or equal to 16?
False
Let o = 3754 + -3712. Is o < 669/16?
False
Let t(k) = 32*k - 448. Let q be t(14). Which is smaller: q or 3/1370?
q
Let x = 1.4113 - 1.3683. Which is bigger: x or -4?
x
Let m(w) = -41*w**2 + 79*w**3 + 87*w - 80*w**3 + 13 + 23. Let d be m(-43). Is d >= 46?
False
Let a = -101 - -92. Let p be (-1 - 6)*(-3)/a. Is -1 not equal to p?
True
Let j(t) = -t**2 + 13*t - 22. Suppose -2*i - 2*h + 4 + 2 = 0, -i + 2*h = 0. Let f be j(i). Which is greater: -2/5 or f?
f
Let g = -4174 + 4198. Is g >= 308/13?
True
Let p = 68 - 253. Let r = p - -184.75. Suppose 3 = -0*w - 3*w. Is r >= w?
True
Suppose -8*s + 5*s = 117. Let y(p) = 210*p - 3402. Let k be y(16). Is s < k?
False
Let l be (((-8)/20)/1)/(252/(-20) + 7). Which is smaller: -19/3 or l?
-19/3
Let j = 0.06837 + 411.93163. Which is bigger: 4/7 or j?
j
Let q be 0/(-1*-1*2). Let n = 171487/3900 - -101/300. Let z = n + -3915/91. Is z < q?
False
Let w = -7251 - -7245. Is -328 bigger than w?
False
Let q(c) = -c**3 + 15*c**2 - 29*c + 40. Let l be q(13). Let y(g) = 40*g**3 - g**2. Let m be y(l). Which is smaller: 37 or m?
37
Let r(k) = -5*k + 19. Let q be r(9). Let m = -1716 + 3445/2. Is m greater than or equal to q?
True
Let d = -22136/3 - -7475. Which is smaller: 0 or d?
0
Suppose 2*x - 2 = -0. Suppose -10*i = -60 - 180. Let n be 133/28*x/((-2)/i). Is n > -56?
False
Let q be 1*(20/1 - -4). Suppose 5*k - 21 = -2*h, -2*h = -5*k - 5*h + q. Is k >= 5?
False
Let u(k) = k**3 - 49*k**2 - 63*k + 666. Let b be u(50). Which is smaller: b or 0.015?
0.015
Let t = -885 - -895. Let r = 346 - 1339/4. Is t at most as big as r?
True
Let c = -19 - -83. Let h be 160/c*42/(-5). Is 2 less than h?
False
Let b = -0.98 - 0.02. Let q be ((-3)/(-9))/((-2)/18) + 3. Suppose q = x + 4*p - 28, 225 = 5*x - 5*p + 8*p. Is b >= x?
False
Suppose 1140 = -19*b + 13*b. Let o be (-4)/(-48)*(-45)/b. Which is smaller: o or 0?
0
Let t = -18 + -4. Let g = 21.85 + t. Let q = 4.85 - g. Which is smaller: -1 or q?
-1
Let t be -36 + (-6)/(-4)*2. Let u = t + -10. Let m = u + 44. Which is smaller: m or 11?
m
Suppose -56 + 1 = 11*k. Let p be -2 + k/12*1724/(-360). Which is smaller: p or -1?
-1
Let f = -96 + 94. Let z be (-46)/2*9/90. Which is smaller: z or f?
z
Let v(j) = -22*j - 12. Let l be v(-1). Let q be 24/(-14)*((-38)/4 + -1). Is l != q?
True
Let z = 19 + 5. Let l(g) = g**2 - 121*g + 2746. Let p be l(91). Are z and p non-equal?
True
Let c = -528 + 518. Let j(f) = f**3 + 11*f**2 - 13*f + 25. Let o be j(c). Is 256 less than or equal to o?
False
Let g = -3969 - -3965. Let k be 7/((-6)/5 + 1). Do k and g have the same value?
False
Let m = -15/616 + 4397/129976. Let b be 790/70 + (-4)/14. Suppose -t + 4*r = 12 + 5, -b = -5*t - 4*r. Is m equal to t?
False
Suppose -24*k + 524 = 596. Suppose 1 = -o - 1, 4*o = -5*l + 187. Let r be k + 123/l + 372/(-52). Which is greater: -8 or r?
r
Let x(k) = 75*k + 10576. Let c be x(-145). Which is smaller: c or -2977/10?
c
Let d(p) = p**3 - 7*p**2 + 14*p - 11. Let z be d(5). Suppose -149 = z*o - 23. Let b = 22 + -37. Do b and o have different values?
True
Let j(v) = -v - 11. Let n be j(-6). Let i be (2 + (-56)/12)*3. Let k be (11 - 220/16) + 2/i. Is k < n?
False
Suppose -169*p = -104 - 403. Do 1346 and p have different values?
True
Suppose 21*y = 119 + 406. Suppose 4*x + j = -y, -5*x = -2*j + 5*j + 26. Which is greater: x or -3?
-3
Let h be ((-1)/44)/((-9)/(-8)). Let n be 906/15*200/(-20). Let x = n + 603. Are h and x nonequal?
True
Let l be (((-1)/8)/((-29)/(-116)))/1. Let n = -20.8 - -21. Is l equal to n?
False
Let h = 4257 + -664091/156. Is h at least 0?
True
Suppose -53*w - 7047 = 28*w. Are w and -91 equal?
False
Let w = -324 + 228.9. Let n = -2677 - -2582. Let t = w - n. Do -15/16 and t have the same value?
False
Suppose 4*y = -p + 1, 5*y - 4*y - 4*p + 4 = 0. Let u = -15/31 - -659/1426. Which is bigger: y or u?
y
Let k(c) = -5*c**2 + c - 1. Let l be k(-2). Let g = l + 25. Suppose 5*u - 1 = -4*i, 4*i - 4*u = -g*u - 6. Which is greater: i or -3?
i
Let j be (1 + (-611)/(-8))/((-20)/(-160)). Is 617 less than j?
True
Let b = -85.63 + -22.37. Is b at least 8?
False
Let l = 8189 - 8132. Is 60 > l?
True
Let f = 26.58495 - -0.11505. Which is bigger: f or 0.02?
f
Suppose 47*k + 3871 = -15*k - 17*k. Which is greater: -120 or k?
k
Let m = 825240/43 - 19192. Is m less than 0?
True
Let m = 3.6 - 4.15. Let w = 1.55 + m. Which is greater: -103/5 or